Parametry
Kategorie
Více o knize
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í.
Nákup knihy
Logika: Neúplnost, složitost a nutnost, Vítězslav Švejdar
- Jazyk
- Rok vydání
- 2002
- product-detail.submit-box.info.binding
- (pevná)
Jakmile ji vyčmucháme, pošleme vám e-mail.
Doručení
Platební metody
Navrhnout úpravu
- Titul
- Logika: Neúplnost, složitost a nutnost
- Jazyk
- česky
- Autoři
- Vítězslav Švejdar
- Vydavatel
- Academia
- Rok vydání
- 2002
- Vazba
- pevná
- ISBN10
- 802001005X
- ISBN13
- 9788020010056
- Kategorie
- Matematika, Filosofie
- 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í.