Logika: Neúplnost, složitost a nutnost
Authors
Parameters
Categories
More about the book
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í.
Book purchase
Logika: Neúplnost, složitost a nutnost, Vítězslav Švejdar
- Language
- Released
- 2002
- Book condition
- As new
- Price
- €18.76
We’ll notify you via email once we track it down.
Payment methods
- Title
- Logika: Neúplnost, složitost a nutnost
- Language
- Czech
- Authors
- Vítězslav Švejdar
- Publisher
- Academia
- Released
- 2002
- Pages
- 0
- ISBN10
- 802001005X
- ISBN13
- 9788020010056
- Category
- Mathematics, Philosophy
- Description
- 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í.