Logika - neúplnost, složitost a nutnost
Nakladatel: Academia
2002
324
False
1
127
2
4
24
105283
0
Do oblíbených
Přihlašte se nebo registrujte a přidejte si zboží do oblíbených.
Rozebráno |
324 Kč
|
Anotace
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í.