Informácie o titule
Logika - neúplnost, složitost a nutnost
Autor: Švejdar, Vítězslav
Žáner: Vedy prírodné - Matematika
Jazyk: Český
Rok: 2002
Rok originálneho vydania: 2002
Popis:
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í.
Na zobrazenie a stiahnutie súborov je potrebné sa prihlásiť.;