Questo è quello che aggiungi al carrello
Maggiori informazioni sul libro
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í.
Acquisto del libro
Logika: Neúplnost, složitost a nutnost, Vítězslav Švejdar
- Lingua
- Pubblicato
- 2002
- product-detail.submit-box.info.binding
- (Copertina rigida),
- Condizioni del libro
- Danneggiato
- Prezzo
- 27,05 €
Metodi di pagamento
Ancora nessuna valutazione.
- Titolo
- Logika: Neúplnost, složitost a nutnost
- Lingua
- Ceco
- Autori
- Vítězslav Švejdar
- Editore
- Academia
- Pubblicato
- 2002
- Formato
- Copertina rigida
- Pagine
- 464
- ISBN10
- 802001005X
- ISBN13
- 9788020010056
- Serie
- Descrizione
- 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í.