Matematická logika: Cvičenia a riešenia

Matematická logika: Cvičenia a riešenia (Laszlo Csirmaz)

Pôvodný názov:

Mathematical Logic: Exercises and Solutions

Obsah knihy:

Kapitola 1 - Systémy špeciálnych súprav. - Kapitola 2 - Hry a hlasovanie.

- Kapitola 3 - Formálne jazyky a automaty. - Kapitola 4 - Teória rekurzie. - Kapitola 5 - Propozičný kalkul.

- Kapitola 6 - Logika prvého rádu. - Kapitola 7 - Základné teorémy.

- Kapitola 8 - Elementárna ekvivalencia. - Kapitola 9 - Ultraprodukty. - Kapitola 10 - Aritmetika.

- Kapitola 11 - Vybrané aplikácie. - Kapitola 12 - Riešenia.

Ďalšie údaje o knihe:

ISBN:9783030790097
Autor:
Laszlo Csirmaz
Vydavateľ:
Springer Nature
Väzba:Pevná väzba
Rok vydania:2021
Počet strán:312

Nákup:

Momentálne k dispozícii, na sklade.

Ďalšie knihy autora:

Matematická logika: Cvičenia a riešenia - Mathematical Logic: Exercises and Solutions
Springer Nature
Kapitola 1 - Systémy špeciálnych súprav. - Kapitola 2 - Hry a...
Matematická logika: Cvičenia a riešenia - Mathematical Logic: Exercises and Solutions
Matematická logika: Cvičenia a riešenia - Mathematical Logic: Exercises and Solutions
Springer Nature
Úvodné kapitoly začínajú problémami z podporných oblastí, ako...
Matematická logika: Cvičenia a riešenia - Mathematical Logic: Exercises and Solutions

Diela autora vydali tieto vydavateľstvá:

Springer Nature

© Book1 Group - všetky práva vyhradené.
Obsah tejto stránky nesmie byť kopírovaný ani použitý čiastočne alebo v celku bez písomného súhlasu vlastníka.
Posledná úprava: 2024.11.13 22:11 (GMT)