Autor: | Raymond Smullyan |
Lehekülgede arv: | 304 |
Ilmumisaasta: | 2014 |
Kauba ID: | 16291034 |
Combining stories of great writers and philosophers with quotations and riddles, this original text for first courses in mathematical logic examines problems related to proofs, propositional logic and first-order logic, undecidability, and other topics. 2014 edition.
Written by a creative master of mathematical logic, this introductory text combines stories of great philosophers, quotations, and riddles with the fundamentals of mathematical logic. Author Raymond Smullyan offers clear, incremental presentations of difficult logic concepts. He highlights each subject with inventive explanations and unique problems.Smullyan's accessible narrative provides memorable examples of concepts related to proofs, propositional logic and first-order logic, incompleteness theorems, and incompleteness proofs. Additional topics include undecidability, combinatoric logic, and recursion theory. Suitable for undergraduate and graduate courses, this book will also amuse and enlighten mathematically minded readers. 2014 edition.
Kauba ID: | 16291034 |
Kategooria: | Majandusalased raamatud |
Tootepakendite arv: | 1 tk. |
Paki suurus ja kaal (1): | 0,3 x 0,3 x 0,1 m, 0,2 kg |
Kirjastus: | Dover Publications Inc. |
Raamatu keel: | Inglise keel |
Kaane tüüp: | Pole informatsiooni |
Vorming: | Traditsiooniline raamat |
Tüüp: | Majandusteadus |
Raamat väljavõttega: | Ei |
Autor: | Raymond Smullyan |
Lehekülgede arv: | 304 |
Ilmumisaasta: | 2014 |
Toodete pildid on illustratiivsed ja näitlikud. Tootekirjelduses sisalduvad videolingid on ainult informatiivsetel eesmärkidel, seega võib neis sisalduv teave erineda tootest endast. Värvid, märkused, parameetrid, mõõtmed, suurused, funktsioonid, ja / või originaaltoodete muud omadused võivad nende tegelikust väljanägemisest erineda, seega palun tutvuge tootekirjeldustes toodud tootespetsifikatsioonidega.