Mathematical Logic

Exercises and Solutions

AvLaszlo Csirmaz,Zalán Gyenis

Häftad, Engelska, 2023

Del i serien Problem Books in Mathematics

320 kr

Beställningsvara. Skickas inom 5-8 vardagar. Fri frakt över 249 kr.

Fler format och utgåvor

Inbunden

457 kr

Beskrivning

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

Utgivningsdatum:2023-03-16
Mått:178 x 254 x 23 mm
Vikt:628 g
Format:Häftad
Språk:Engelska
Serie:Problem Books in Mathematics
Antal sidor:319
Förlag:Springer Nature Switzerland AG
ISBN:9783030790127

Utforska kategorier

Matematikens grunder inom Naturvetenskap och teknik

Mer om författaren

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.

Innehållsförteckning

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.