Limit search to available items
Book Cover
E-book
Author Homem, Luís Manuel Cabrita Pais

Title Topics in programming languages : a philosophical analysis through the case of Prolog / Luís Homem
Published Oxford : Chartridge Books Oxford, 2013

Copies

Description 1 online resource (74 pages)
Series First
First
Contents Cover; Halftitle; Title; Copyright; Dedication; Contents; Abstract; Acknowledgements; Section I; Arguments; Ü) The phonetics and philosophical argument Ý) The symbolic or rational argument; Þ) The difficulty argument; e) The content-and-form artificial intelligence argument; f) The efficient cause argument; i) The model theory argument; Notes; Section II; Arguments; j) The endogenous to exogenouslanguage argument; k) The efficient cause continuance argument; l) The reviewing incommensurability argument; m) The functional and declarative programminglanguages argument; Notes; Section III
Argumentsn) The n-calculus argument; o) The Prolog argument; Notes; Section IV; Topics in programming languages:a philosophical analysis through the case of Prolog; Summary; State of the art; Goal; Detailed description; Bibliography; Back Cover
Summary 'Topics in Programming Languages' explores the arch from the formation of alphabet and classical philosophy to artificial programming languages in the structure of one argumentative topics list: as if it were philosophy interpreted and programmed. One such endeavor is taken to tend toward phonetics and sounds of speech analysis with?-calculus, and, ultimately, Prolog - the programming language of choice in artificial intelligence - born of the natural language processing reverie and delusion. The well-ordered list of arguments targets the conceptual tree behind both the functional and the logical, the procedural and the declarative paradigms in programming languages by studying close the ascendum (convolution) of the Aristotelian efficient cause into the notions of function (Leibniz), rule (Kant) and algorithm as effective procedures in computation (Church-Turing)
Bibliography Includes bibliographical references (pages 59-60)
Notes Print version record
Subject Programming languages (Electronic computers) -- Philosophy
Prolog (Computer program language)
COMPUTERS -- Programming -- General.
COMPUTERS -- Programming Languages -- General.
Prolog (Computer program language)
Form Electronic book
ISBN 9781909287747
1909287741
9781909287730
1909287733