Das Buch ist derzeit nicht auf Lager
Collegium Logicum
Autoren
Parameter
- Seitenzahl
- 152 Seiten
- Lesezeit
- 6 Stunden
Mehr zum Buch
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.
Buchkauf
Collegium Logicum, Kenneth A. Loparo
- Sprache
- Erscheinungsdatum
- 1996
Wir benachrichtigen dich per E-Mail.
Lieferung
Zahlungsmethoden
Deine Änderungsvorschläge
- Titel
- Collegium Logicum
- Sprache
- Englisch
- Autor*innen
- Kenneth A. Loparo
- Verlag
- Springer Vienna
- Erscheinungsdatum
- 1996
- Einband
- Paperback
- Seitenzahl
- 152
- ISBN13
- 9783211827963
- Kategorie
- Mathematik, Informatik & Programmierung, Naturwissenschaften
- Beschreibung
- 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.