Úplné zobrazení záznamu

Toto je statický export z katalogu ze dne 07.10.2023. Zobrazit aktuální podobu v katalogu.

Bibliografická citace

.
0 (hodnocen0 x )
(3.5) Půjčeno:7x 
BK
Vyd. 1.
Praha : Karolinum, 2001
402 s. ; 28 cm

objednat
ISBN 80-246-0218-0 (váz.)
Obsahuje předmluvu, úvod, rejstřík jmenný, rejstřík věcný, rejstřík symbolů
Bibliografie: s. 386-390
Logika matematická - učebnice vysokošk.
000048465
Předmluva 5 // Úvod 7 // Značení 16 // Kapitola I Výrokový počet 18 // §1 Formule a sémantika výrokového počtu 26 // §2 Syntax výrokového počtu 33 // §3 Úplnost výrokového počtu, normální tvar formule 43 // Cvičení I 52 // Kapitola II Predikátový počet 57 // §1 Formule predikátového počtu 66 // §2 Základy sémantiky predikátového počtu 77 // §3 Základy syntaxe predikátového počtu 84 // §4 Kvantifikace 96 // §5 Úplnost predikátového počtu, prenexní tvar formule 108 // Cvičení II 123 // Kapitola III Dokazatelnost a výroková dokazatelnost 131 // §1 Konzervativní rozšíření teorie obohacením jazyka 135 // §2 Věta Hilbert-Ackermannova 144 // §3 Věty Herbrandova a Skolemova 151 // CvičeníIII 161 // Kapitola IV Dokazatelnost a nedokazatelnost v aritmetice ... 171 // §1 Robinsonova aritmetika 180 // §2 Peanova aritmetika, systém Ei-formulí 186 // §3 Aritmetizace syntaxe logiky 198 // §4 Metamatematická přirozená čísla 211 // §5 Věty o neúplnosti 217 // Dodatek Turingovy stroje a rekurzivita 227 // Cvičení IV 235 // Kapitola V Základy teorie modelů 242 // §1 Základní pojmy teorie modelů 248 // §2 Izomorfizmy struktur 265 // §3 Ultraprodukt 276 // §4 Úplnost teorií 294 // Cvičení V 302 // Kapitola VI Rozhodnutelnost, interpolace a nedokazatelnost ... 311 // §1 Eliminace kvantifikátorů 318 // §2 Interpolace 332 // §3 Interpretace 336 // Dodatek Goodsteinova věta 348 // Cvičení VI 375 // Závěr 382 // Literatura 386 // Rejstřík jmenný 391 // Rejstřík věcný 393 // Rejstřík symbolů 401
(OCoLC)50343695
cnb001023710

Zvolte formát: Standardní formát Katalogizační záznam Zkrácený záznam S textovými návěštími S kódy polí MARC