Mathematical Logic
Stephen Cole Kleene
Π°ΠΏΡ. 2013β―Π³. Β· Courier Corporation
4,0star
4 ΡΠ΅ΡΠ΅Π½Π·ΠΈΠΈreport
Π-ΠΊΠ½ΠΈΠ³Π°
416
Π‘ΡΡΠ°Π½ΠΈΡΠΈ
reportΠΡΠ΅Π½ΠΈΡΠ΅ ΠΈ ΡΠ΅ΡΠ΅Π½Π·ΠΈΠΈΡΠ΅ Π½Π΅ ΡΠ΅ ΠΏΠΎΡΠ²ΡΠ΄Π΅Π½ΠΈ Β ΠΠΎΠ·Π½Π°ΡΡΠ΅ ΠΏΠΎΠ²Π΅ΡΠ΅
ΠΠ° Π΅-ΠΊΠ½ΠΈΠ³Π°Π²Π°
Undergraduate students with no prior classroom instruction in mathematical logic will benefit from this evenhanded multipart text. It begins with an elementary but thorough overview of mathematical logic of first order. The treatment extends beyond a single method of formulating logic to offer instruction in a variety of techniques: model theory (truth tables), Hilbert-type proof theory, and proof theory handled through derived rules.
The second part supplements the previously discussed material and introduces some of the newer ideas and the more profound results of twentieth-century logical research. Subsequent chapters explore the study of formal number theory, with surveys of the famous incompleteness and undecidability results of Godel, Church, Turing, and others. The emphasis in the final chapter reverts to logic, with examinations of Godel's completeness theorem, Gentzen's theorem, Skolem's paradox and nonstandard models of arithmetic, and other theorems. The author, Stephen Cole Kleene, was Cyrus C. MacDuffee Professor of Mathematics at the University of Wisconsin, Madison. Preface. Bibliography. Theorem and Lemma Numbers: Pages. List of Postulates. Symbols and Notations. Index.
The second part supplements the previously discussed material and introduces some of the newer ideas and the more profound results of twentieth-century logical research. Subsequent chapters explore the study of formal number theory, with surveys of the famous incompleteness and undecidability results of Godel, Church, Turing, and others. The emphasis in the final chapter reverts to logic, with examinations of Godel's completeness theorem, Gentzen's theorem, Skolem's paradox and nonstandard models of arithmetic, and other theorems. The author, Stephen Cole Kleene, was Cyrus C. MacDuffee Professor of Mathematics at the University of Wisconsin, Madison. Preface. Bibliography. Theorem and Lemma Numbers: Pages. List of Postulates. Symbols and Notations. Index.
ΠΡΠ΅Π½ΠΈ ΠΈ ΡΠ΅ΡΠ΅Π½Π·ΠΈΠΈ
4,0
4 ΡΠ΅ΡΠ΅Π½Π·ΠΈΠΈ
ΠΡΠ΅Π½Π΅ΡΠ΅ ΡΠ° Π΅-ΠΊΠ½ΠΈΠ³Π°Π²Π°
ΠΠ°ΠΆΠ΅ΡΠ΅ Π½ΠΈ ΡΡΠΎ ΠΌΠΈΡΠ»ΠΈΡΠ΅.
ΠΠ½ΡΠΎΡΠΌΠ°ΡΠΈΠΈ Π·Π° ΡΠΈΡΠ°ΡΠ΅
ΠΠ°ΠΌΠ΅ΡΠ½ΠΈ ΡΠ΅Π»Π΅ΡΠΎΠ½ΠΈ ΠΈ ΡΠ°Π±Π»Π΅ΡΠΈ
ΠΠ½ΡΡΠ°Π»ΠΈΡΠ°ΡΡΠ΅ ΡΠ° Π°ΠΏΠ»ΠΈΠΊΠ°ΡΠΈΡΠ°ΡΠ° Google Play Books Π·Π° Android ΠΈ iPad/iPhone. ΠΠ²ΡΠΎΠΌΠ°ΡΡΠΊΠΈ ΡΠ΅ ΡΠΈΠ½Ρ
ΡΠΎΠ½ΠΈΠ·ΠΈΡΠ° ΡΠΎ ΡΠΌΠ΅ΡΠΊΠ°ΡΠ° ΠΈ Π²ΠΈ ΠΎΠ²ΠΎΠ·ΠΌΠΎΠΆΡΠ²Π° Π΄Π° ΡΠΈΡΠ°ΡΠ΅ ΠΎΠ½Π»Π°ΡΠ½ ΠΈΠ»ΠΈ ΠΎΡΠ»Π°ΡΠ½ ΠΊΠ°Π΄Π΅ ΠΈ Π΄Π° ΡΡΠ΅.
ΠΠ°ΠΏΡΠΎΠΏΠΈ ΠΈ ΠΊΠΎΠΌΠΏΡΡΡΠ΅ΡΠΈ
ΠΠΎΠΆΠ΅ Π΄Π° ΡΠ»ΡΡΠ°ΡΠ΅ Π°ΡΠ΄ΠΈΠΎΠΊΠ½ΠΈΠ³ΠΈ ΠΊΡΠΏΠ΅Π½ΠΈ ΠΎΠ΄ Google Play ΡΠΎ ΠΊΠΎΡΠΈΡΡΠ΅ΡΠ΅ Π½Π° Π²Π΅Π±-ΠΏΡΠ΅Π»ΠΈΡΡΡΠ²Π°ΡΠΎΡ Π½Π° ΠΊΠΎΠΌΠΏΡΡΡΠ΅ΡΠΎΡ.
Π-ΡΠΈΡΠ°ΡΠΈ ΠΈ Π΄ΡΡΠ³ΠΈ ΡΡΠ΅Π΄ΠΈ
ΠΠ° Π΄Π° ΡΠΈΡΠ°ΡΠ΅ Π½Π° ΡΡΠ΅Π΄ΠΈ ΡΠΎ Π΅-ΠΌΠ°ΡΡΠΈΠ»ΠΎ, ΠΊΠ°ΠΊΠΎ ΡΡΠΎ ΡΠ΅ Π΅-ΡΠΈΡΠ°ΡΠΈΡΠ΅ Kobo, ΡΠ΅ ΡΡΠ΅Π±Π° Π΄Π° ΠΏΡΠ΅Π·Π΅ΠΌΠ΅ΡΠ΅ Π΄Π°ΡΠΎΡΠ΅ΠΊΠ° ΠΈ Π΄Π° ΡΠ° ΠΏΡΠ΅ΡΡΠ»ΠΈΡΠ΅ Π½Π° ΡΡΠ΅Π΄ΠΎΡ. Π‘Π»Π΅Π΄Π΅ΡΠ΅ Π³ΠΈ Π΄Π΅ΡΠ°Π»Π½ΠΈΡΠ΅ ΡΠΏΠ°ΡΡΡΠ²Π° Π²ΠΎ Π¦Π΅Π½ΡΠ°ΡΠΎΡ Π·Π° ΠΏΠΎΠΌΠΎΡ Π·Π° ΠΏΡΠ΅ΡΡΠ»Π°ΡΠ΅ Π½Π° Π΄Π°ΡΠΎΡΠ΅ΠΊΠΈΡΠ΅ Π½Π° ΠΏΠΎΠ΄Π΄ΡΠΆΠ°Π½ΠΈ Π΅-ΡΠΈΡΠ°ΡΠΈ.
