| DigiBooks - Prezeranie autora
Autor: Švejdar; Vítězslav | Rok narodenia: - Rok úmrtia: - |
---|
Názov: Logika - neúplnost, složitost a nutnost | Jazyk: Český Žáner: Vedy prírodné - Matematika Rok vydania: 2002 |
---|
Rok vydania originálu: 2002 | Poznámka: Učebnice logiky, která vede čtenáře od výrokové logiky přes predikátovou logiku k metamatematice aritmetiky, autoreferenci a (některým) neklasickým logikám. Důraz je položen na ty části logiky, jejichž výzkum má v Praze či ve střední Evropě dobrou tradici, tj. na souvislosti logiky a teoretické informatiky a na problematiku Gödelových vět o neúplnosti a jejich okolí. |
Formát | Stav | Veľkosť | pdf | Oprava po OCR formát | 4142418 |
|