SULJE VALIKKO

avaa valikko

Granville C Henry | Akateeminen Kirjakauppa

Haullasi löytyi yhteensä 2 tuotetta
Haluatko tarkentaa hakukriteerejä?



The Mechanism and Freedom of Logic
Granville C Henry
Globe Pequot Publishing Group Inc/Bloomsbury (1993)
Kovakantinen kirja
141,60
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
The Mechanism and Freedom of Logic
Granville C. Henry
University Press of America (1993)
Pehmeäkantinen kirja
77,70
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
The Mechanism and Freedom of Logic
141,60 €
Globe Pequot Publishing Group Inc/Bloomsbury
Sivumäärä: 242 sivua
Asu: Kovakantinen kirja
Julkaisuvuosi: 1993, 30.03.1993 (lisätietoa)
Kieli: Englanti
This book uses the friendly format of the computing language Prolog to teach a full formal predicate logic. With Prolog, the scope and limits of both logic and computing can be explored and experimented. Students learning formal logic in a Prolog format can begin using their already developed informal abilities in logic to program in Prolog and conversely learn enough formal logic to examine Prolog and computing in general so major fundamental theorems can be demonstrated. Cases such as Church's Thesis, Church's Theorem, Turing's Halting Problem, and Godel's Incompleteness Theorem provide the author with the means to assess some of the philosophical implications of logic and computing. Henry designed the book for undergraduate students, but it is also useful for philosophers and theologians who wish to see how computer programming serves as a probe into philosophical matters. Contents: The Formalization of Logic; Propositional Logic; Predicate Logic; Prolog: Programming in Logic; Logic Machines; The Scope and Limits of Logic and Logic Machines; Philosophical Reflections; Appendix; Bibliography; Index.

Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
LISÄÄ OSTOSKORIIN
Tuotteella on huono saatavuus ja tuote toimitetaan hankintapalvelumme kautta. Tilaamalla tämän tuotteen hyväksyt palvelun aloittamisen. Seuraa saatavuutta.
Myymäläsaatavuus
Helsinki
Tapiola
Turku
Tampere
The Mechanism and Freedom of Logic
Näytä kaikki tuotetiedot
ISBN:
9780819189639
Sisäänkirjautuminen
Kirjaudu sisään
Rekisteröityminen
Oma tili
Omat tiedot
Omat tilaukset
Omat laskut
Lisätietoja
Asiakaspalvelu
Tietoa verkkokaupasta
Toimitusehdot
Tietosuojaseloste