Sökt på: Böcker av Cristina Sernadas
totalt 8 träffar
Fundamentos De Logica E Teoria Da Computacao
A Mathematical Primer on Computability
The book provides a self-contained introduction to computability theory for advanced undergraduate or early graduate students of mathematics and computer science. The technical …
Decidability of Logical Theories and Their Combination
This textbook provides a self-contained introduction to decidability of first-order theories and their combination. The technical material is presented in a systematic and …
Analysis and Synthesis of Logics
Starting with simple examples showing the relevance of cutting and pasting logics, the monograph develops a mathematical theory of combining and decomposing logics, ranging from …
Analysis and Synthesis of Logics
Starting with simple examples showing the relevance of cutting and pasting logics, the monograph develops a mathematical theory of combining and decomposing logics, ranging from …
A Mathematical Primer on Linear Optimization
Decidability of Logical Theories and Their Combination
This textbook provides a self-contained introduction to decidability of first-order theories and their combination. The technical material is presented in a systematic and …
Analysis and Synthesis of Logics
Starting with simple examples showing the relevance of cutting and pasting logics, the monograph develops a mathematical theory of combining and decomposing logics, ranging from …