Kniha momentálne nie je na sklade
Collegium Logicum
Autori
Parametre
- Počet strán
- 152 stránok
- Čas čítania
- 6 hodin
Viac o knihe
This collection features a variety of scholarly works focused on advanced topics in mathematical logic and computational theory. Key contributions include a study on resolution games and orderings, a tableau calculus for partial functions, and an expert system for multiple-valued logics. Additional discussions cover fundamental problems in logic, proof lengths for consistency, the Craig Interpolation Theorem, and the significance of monotonicity in descriptive complexity. The volume also explores the relationship between numbers and Turing machines, showcasing diverse approaches to theoretical challenges.
Nákup knihy
Collegium Logicum, Kenneth A. Loparo
- Jazyk
- Rok vydania
- 1996
Akonáhle sa objaví, pošleme vám e-mail.
Doručenie
Platobné metódy
2021 2022 2023
Navrhnúť zmenu
- Titul
- Collegium Logicum
- Jazyk
- anglicky
- Autori
- Kenneth A. Loparo
- Vydavateľ
- Springer Vienna
- Rok vydania
- 1996
- Väzba
- mäkká
- Počet strán
- 152
- ISBN13
- 9783211827963
- Kategórie
- Matematika, Počítače, IT, programovanie, Príroda všeobecne
- Anotácia
- This collection features a variety of scholarly works focused on advanced topics in mathematical logic and computational theory. Key contributions include a study on resolution games and orderings, a tableau calculus for partial functions, and an expert system for multiple-valued logics. Additional discussions cover fundamental problems in logic, proof lengths for consistency, the Craig Interpolation Theorem, and the significance of monotonicity in descriptive complexity. The volume also explores the relationship between numbers and Turing machines, showcasing diverse approaches to theoretical challenges.