topmenu
Wyniki wyszukiwania:
wyszukanych pozycji: 9
 |
Selected Topics from Contemporary Logics
ISBN: 9781848903500 / Angielski / Miękka / 2021 / 858 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. |
cena:
140,49 |
 |
Incompletetude Na Terra DOS Conjuntos
ISBN: 9781848901094 / Portugalski / Miękka / 2013 / 178 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. Apresentam-se os teoremas fundamentais de incompletude e indecidibilidade da logica matematica no contexto da teoria de conjuntos. Os resultados correspondentes para a aritmetica conseguemse obter facilmente a partir destes e sao tambem apresentados. Evita-se, em geral, o recurso a enumeracao de Godel, exceto quando se estabelece uma relacao explicita entre a teoria de conjuntos e a aritmetica. Este livro nao pressupoe muitos conhecimentos previos por parte do leitor. Apenas se pede alguma maturidade matematica, alguma familiaridade com logica formal e que o leitor conheca o teorema da...
Apresentam-se os teoremas fundamentais de incompletude e indecidibilidade da logica matematica no contexto da teoria de conjuntos. Os resultados corre...
|
cena:
83,01 |
 |
Numbers
ISBN: 9781848903357 / Angielski / Miękka / 2020 / 238 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. |
cena:
78,76 |
 |
Proof Methods for Modal and Intuitionistic Logics
ISBN: 9789027715739 / Angielski / Twarda / 1983 / 555 str. Termin realizacji zamówienia: ok. 22 dni roboczych. "Necessity is the mother of invention. " Part I: What is in this book - details. There are several different types of formal proof procedures that logicians have invented. The ones we consider are: 1) tableau systems, 2) Gentzen sequent calculi, 3) natural deduction systems, and 4) axiom systems. We present proof procedures of each of these types for the most common normal modal logics: S5, S4, B, T, D, K, K4, D4, KB, DB, and also G, the logic that has become important in applications of modal logic to the proof theory of Peano arithmetic. Further, we present a similar variety of proof...
"Necessity is the mother of invention. " Part I: What is in this book - details. There are several different types of formal proof procedures that log...
|
cena:
805,10 |
 |
Beyond Two: Theory and Applications of Multiple-Valued Logic
ISBN: 9783790825220 / Angielski / Miękka / 2010 / 374 str. Termin realizacji zamówienia: ok. 22 dni roboczych. This volume represents the state of the art for much current research in many-valued logics. Primary researchers in the field are among the authors. Major methodological issues of many-valued logics are treated, as well as applications of many-valued logics to reasoning with fuzzy information. Areas covered include: Algebras of multiple valued logics and their applications, proof theory and automated deduction in multiple valued logics, fuzzy logics and their applications, and multiple valued logics for control theory and rational belief.
This volume represents the state of the art for much current research in many-valued logics. Primary researchers in the field are among the authors. M...
|
cena:
603,81 |
 |
Raymond Smullyan on Self Reference
ISBN: 9783319687315 / Angielski / Twarda / 2018 / 195 str. Termin realizacji zamówienia: ok. 22 dni roboczych. |
cena:
442,79 |
 |
Justification Logic: Reasoning with Reasons
ISBN: 9781108424912 / Angielski / Twarda / 2019 / 268 str. Termin realizacji zamówienia: ok. 22 dni roboczych. |
cena:
536,63 |
 |
To Mock a Mockingbird: And Other Logic Puzzles Including an Amazing Adventure in Combinatory Logic
ISBN: 9781958823026 / Angielski Termin realizacji zamówienia: ok. 16-18 dni roboczych. |
cena:
84,93 |
 |
First-Order Modal Logic
ISBN: 9783031407161 / Angielski / Miękka / 2024 Termin realizacji zamówienia: ok. 22 dni roboczych. This revised edition of the highly recommended book "First-Order Modal Logic", originally published in 1998, contains both new and modified chapters reflecting the latest scientific developments. Fitting and Mendelsohn present a thorough treatment of first-order modal logic, together with some propositional background. They adopt throughout a threefold approach. Semantically, they use possible world models; the formal proof machinery is tableaus; and full philosophical discussions are provided of the way that technical developments bear on well-known philosophical problems. The book covers...
This revised edition of the highly recommended book "First-Order Modal Logic", originally published in 1998, contains both new and modified chapters r...
|
cena:
483,04 |
Czytaj nas na:
Zobacz: Księgarnia Czeska | Wydawnictwo Książkowe Klimaty | Mapa strony | Lista autorów
KrainaKsiazek.PL - Księgarnia Internetowa
KrainaKsiazek.PL - Księgarnia Internetowa
