Mathematik: Logik Seite 1 - 2.089 Ergebnisse
in der Kategorie Mathematische Grundlagen
An Invitation to Mathematical Logic
von David Marker
2024 Gebunden, 376 Seiten, 241mm x 160mm x 25mm, Sprache(n): eng In addition to covering the essentials, the author¿s intention in writing this text is to entice the reader to further study mathematical logic. There is no current ¿standard text¿ for a first graduate course in mathematical logic…
Os 5500 Elementos
von Denizard Júnior
2022 Kartoniert, 252 Seiten, 297mm x 210mm x 14mm, Sprache(n): por 1 Livro 1 Exercício Nível 2 da Coleção Os Elementos Seguindo a sequência de exercícios Peculiares Os 5500 Elementos vêm para testar seu raciocínio lógico, capacidade analítica e tediosamente a sua paciência! Devo avisar novamente…
Handbook of the History and Philosophy of Mathematical Practice
2024 Gebunden, 3392 Seiten, 241mm x 160mm x 203mm, Sprache(n): eng Elucidates the relationship between mathematical practices and the philosophy of mathematicsPresents an overview through time, from the origins of mathematics to contemporary mathematical practicesBrings together experts from dif…
Mathematical Logic - On Numbers, Sets, Structures, and Symmetry
von Roman Kossak
2024 Gebunden, 276 Seiten, 241mm x 160mm x 21mm, Sprache(n): eng This textbook is a second edition of the successful, Mathematical Logic: On Numbers, Sets, Structures, and Symmetry. It retains the original two parts found in the first edition, while presenting new material in the form of an adde…
Harmony and Paradox - Intensional Aspects of Proof-Theoretic Semantics
von Luca Tranchini
2024 Gebunden, 200 Seiten, 241mm x 160mm x 17mm, Sprache(n): eng This open access book investigates the role played by identity of proofs in proof-theoretic semantics. It develops a conception of proof-theoretic semantics as primarily concerned with the relationship between proofs (understood as…
Concrete Abstractions - Formalizing and Analyzing Discrete Theories and Algorithms with the RISCAL…
von Wolfgang Schreiner
2024 Kartoniert, 284 Seiten, 235mm x 155mm x 16mm, Sprache(n): eng This book demonstrates how to formally model various mathematical domains (including algorithms operating in these domains) in a way that makes them amenable to a fully automatic analysis by computer software.The presented domain…
En sayos sobre lógica y lenguaje en honor a Alfredo Burrieza
2024 Kartoniert, 234 Seiten, 234mm x 156mm x 13mm, Sprache(n): spa Este libro es fruto de un esfuerzo coletivo para rendir homenaje al que, para las personas que lo escribimos, ha sido un referente personal y académico, bien como maestro, bien como colega, o como ambas cosas: el profesor Alfredo…
Foundations of Software Science and Computation Structures - 27th International Conference, FoSSaC…
2024 Kartoniert, 288 Seiten, 235mm x 155mm x 16mm, Sprache(n): eng The two open access volumes LNCS 14574 and 14575 constitute the proceedings of the 27th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2024, which took place in Luxembourg in April…
Principles Of The Algebra Of Logic, With Examples (1879)
von Alexander Macfarlane
2007 Kartoniert, 172 Seiten, 229mm x 152mm x 10mm, Sprache(n): eng Principles of the Algebra of Logic, with Examples is a book written by Alexander Macfarlane and first published in 1879. The book provides a comprehensive introduction to the algebra of logic, a branch of mathematics that deals w…
Foundations of Software Science and Computation Structures - 27th International Conference, FoSSaC…
2024 Kartoniert, 296 Seiten, 235mm x 155mm x 17mm, Sprache(n): eng The two open access volumes LNCS 14574 and 14575 constitute the proceedings of the 27th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2024, which took place in Luxembourg in April…