-15 %
Logika neúplnost,složitost a nutnost
Dátum vydania: 01.12.2002
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 ...
Detaily o knihe
Rozmer: 160x235x10 mm
Jazyk: česky
EAN: 9788020010056
Rok vydania: 2002
Žáner: Ostatné - nezaradené
Typ: Knihy viazané
Zákazníci, ktorí si kúpili túto knihu, si kúpili aj...
O knihe
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í.
450 str., váz. lamino
