topmenu
Wyniki wyszukiwania:
wyszukanych pozycji: 4
 |
A Mathematical Primer on Computability
ISBN: 9781848902961 / Angielski / Miękka / 2018 / 280 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. |
cena:
92,79 |
 |
A Mathematical Primer on Linear Optimization
ISBN: 9781848903159 / Angielski / Miękka / 2019 / 266 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. |
cena:
77,69 |
 |
Decidability of Logical Theories and Their Combination
ISBN: 9783030565534 / Angielski / Twarda / 2020 / 178 str. Termin realizacji zamówienia: 22 dni roboczych |
178,92 |
 |
Decidability of Logical Theories and Their Combination
ISBN: 9783030565565 / Angielski / Miękka / 2021 Termin realizacji zamówienia: 22 dni roboczych 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 universal way and illustrated with plenty of examples and a range of proposed exercises. After an overview of basic first-order logic concepts, the authors discuss some model-theoretic notions like embeddings, diagrams, and elementary substructures. The text then goes on to explore an applicable way to deduce logical consequences from a given theory and presents sufficient conditions for a theory to be...
This textbook provides a self-contained introduction to decidability of first-order theories and their combination. The technical material is presente...
|
178,92 |
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
