منطق ریاضی؛ تمرین ها و راه حل ها

دسته: ریاضی
منطق ریاضی؛ تمرین ها و راه حل ها

سال انتشار: 2022  |  322 صفحه  |  حجم فایل: 4 مگابایت  |  زبان: انگلیسی

Mathematical Logic: Exercises and Solutions (Problem Books in Mathematics)
نویسنده
Laszlo Csirmaz, Zalan Gyenis
ناشر
Springer
ISBN10:
3030790096
ISBN13:
9783030790097

 

قیمت: 16000 تومان

خرید کتاب توسط کلیه کارت های شتاب امکان پذیر است و بلافاصله پس از خرید، لینک دانلود فایل کتاب در اختیار شما قرار خواهد گرفت.

برچسب‌ها:  منطق ریاضی  

عناوین مرتبط:


This book gathers together a colorful set of problems on classical Mathematical Logic, selected from over 30 years of teaching. The initial chapters start with problems from supporting fields, like set theory (ultrafilter constructions), full-information game theory (strategies), automata, and recursion theory (decidability, Kleene’s theorems). The work then advances toward propositional logic (compactness and completeness, resolution method), followed by first-order logic, including quantifier elimination and the Ehrenfeucht– Fraïssé game; ultraproducts; and examples for axiomatizability and non-axiomatizability. The Arithmetic part covers Robinson’s theory, Peano’s axiom system, and Gödel’s incompleteness theorems. Finally, the book touches universal graphs, tournaments, and the zero-one law in Mathematical Logic.


ارسال دیدگاه