Cargando…
Topics in programming languages : a philosophical analysis through the case of Prolog /
'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...
| Clasificación: | Libro Electrónico |
|---|---|
| Autor principal: | |
| Formato: | Electrónico eBook |
| Idioma: | Inglés |
| Publicado: |
Oxford :
Chartridge Books Oxford,
2013.
|
| Colección: | First.
|
| Temas: | |
| Acceso en línea: | Texto completo |
MARC
| LEADER | 00000cam a2200000 i 4500 | ||
|---|---|---|---|
| 001 | EBSCO_ocn868976628 | ||
| 003 | OCoLC | ||
| 005 | 20231017213018.0 | ||
| 006 | m o d | ||
| 007 | cr cnu---unuuu | ||
| 008 | 131203s2013 enk ob 000 0 eng d | ||
| 040 | |a E7B |b eng |e rda |e pn |c E7B |d OCLCO |d YDXCP |d N$T |d OCLCQ |d EBLCP |d DEBSZ |d ICA |d LTP |d AGLDB |d MERUC |d U3W |d OCLCF |d OCLCQ |d VTS |d OCLCQ |d AU@ |d OCLCQ |d STF |d OCLCQ |d UKAHL |d AJS |d OCLCQ |d OCLCO |d OCLCQ | ||
| 019 | |a 870599834 | ||
| 020 | |a 9781909287747 |q (electronic bk.) | ||
| 020 | |a 1909287741 |q (electronic bk.) | ||
| 020 | |a 9781909287730 |q (electronic bk.) | ||
| 020 | |a 1909287733 |q (electronic bk.) | ||
| 020 | |z 9781909287723 |q (pbk.) | ||
| 029 | 1 | |a AU@ |b 000055949561 | |
| 029 | 1 | |a DEBBG |b BV043958078 | |
| 029 | 1 | |a DEBSZ |b 405652119 | |
| 029 | 1 | |a DEBSZ |b 481279350 | |
| 035 | |a (OCoLC)868976628 |z (OCoLC)870599834 | ||
| 050 | 4 | |a QA76.7 |b .H66 2013eb | |
| 072 | 7 | |a COM |x 051010 |2 bisacsh | |
| 072 | 7 | |a COM |x 051000 |2 bisacsh | |
| 082 | 0 | 4 | |a 005.13 |2 23 |
| 049 | |a UAMI | ||
| 100 | 1 | |a Homem, Luís Manuel Cabrita Pais. | |
| 245 | 1 | 0 | |a Topics in programming languages : |b a philosophical analysis through the case of Prolog / |c Luís Homem. |
| 264 | 1 | |a Oxford : |b Chartridge Books Oxford, |c 2013. | |
| 300 | |a 1 online resource (74 pages). | ||
| 336 | |a text |b txt |2 rdacontent | ||
| 337 | |a computer |b c |2 rdamedia | ||
| 338 | |a online resource |b cr |2 rdacarrier | ||
| 490 | 1 | |a First | |
| 504 | |a Includes bibliographical references (pages 59-60). | ||
| 588 | 0 | |a Print version record. | |
| 520 | |a '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). | ||
| 505 | 0 | |a 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. | |
| 505 | 8 | |a 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. | |
| 590 | |a eBooks on EBSCOhost |b EBSCO eBook Subscription Academic Collection - Worldwide | ||
| 650 | 0 | |a Programming languages (Electronic computers) |x Philosophy. | |
| 650 | 0 | |a Prolog (Computer program language) | |
| 650 | 6 | |a Prolog (Langage de programmation) | |
| 650 | 7 | |a COMPUTERS |x Programming |x General. |2 bisacsh | |
| 650 | 7 | |a COMPUTERS |x Programming Languages |x General. |2 bisacsh | |
| 650 | 7 | |a Prolog (Computer program language) |2 fast |0 (OCoLC)fst01078876 | |
| 776 | 0 | 8 | |i Print version: |a Homem, Luís Manuel Cabrita Pais. |t Topics in Programming Languages : A Philosophical Analysis Through the Case of Prolog. |d Oxford : Chartridge Books Oxford, ©2013 |z 9781909287723 |
| 830 | 0 | |a First. | |
| 856 | 4 | 0 | |u https://ebsco.uam.elogim.com/login.aspx?direct=true&scope=site&db=nlebk&AN=629644 |z Texto completo |
| 938 | |a Askews and Holts Library Services |b ASKH |n AH25469088 | ||
| 938 | |a Askews and Holts Library Services |b ASKH |n AH25469087 | ||
| 938 | |a EBSCOhost |b EBSC |n 629644 | ||
| 938 | |a YBP Library Services |b YANK |n 11062613 | ||
| 994 | |a 92 |b IZTAP | ||