Mathematical Logic

Exercises and Solutions

Inbunden, Engelska, 2022

AvLaszlo Csirmaz,Zalán Gyenis,Zalan Gyenis,Zalán

599 kr

Beställningsvara. Skickas inom 5-8 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.

Finns i fler format (1)

Häftad

419 kr

Skickas inom 5-8 vardagar

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).

Produktinformation

Utgivningsdatum2022-03-15
Mått178 x 254 x 28 mm
Vikt786 g
FormatInbunden
SpråkEngelska
SerieProblem Books in Mathematics
Antal sidor319
FörlagSpringer Nature Switzerland AG
ISBN9783030790097

Tillhör följande kategorier

Matematikens grunder inom Naturvetenskap och teknik

Laszlo Csirmaz is Senior Researcher at the Institute of Information Theory and Automation (UTIA), Czech Republic and Rényi Alfréd Institute of Mathematics. He started his career in 1975 at the Rényi Institute, where he co-founded the Cryptography Group. From 1996 to 2020, he was Chair of the Computer and Statistics Center at the Central European University, Hungary. Since 1990, he has been delivering lectures at the Eötvös Loránd University, Hungary, mainly on Set Theory and Mathematical Logic, and has held a part-time position at the University of Debrecen, Hungary, from 2001 to 2018.Zalán Gyenis got his Ph.D. in Mathematics in 2013 from the Central European University, Hungary, and has been Premium Postdoctoral Research Fellow at the Hungarian Academy of Sciences. Since 2017, he has been working as Assistant Professor at the Logic Department of the Jagiellonian University, Poland. In 2018, he was awarded the Alfred Tarski Logic Prize.

Chapter 1 - Special Set Systems.- Chapter 2 - Games and Voting.- Chapter 3 - Formal languages and automata.- Chapter 4 - Recursion Theory.- Chapter 5 - Propositional Calculus.- Chapter 6 - First-order logic.- Chapter 7 - Fundamental Theorems.- Chapter 8 - Elementary Equivalence.- Chapter 9 - Ultraproducts.- Chapter 10 - Arithmetic.- Chapter 11 - Selected Applications.- Chapter 12 - Solutions.