» książki » Mathematics - Logic
 |
Formal Methods Teaching: 4th International Workshop and Tutorial, Fmtea 2021, Virtual Event, November 21, 2021, Proceedings
ISBN: 9783030915490 / Angielski / Miękka / 164 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 4th International Workshop and Tutorial, FMTea 2021, Held as Part of the 4th World Congress on Formal Methods, FM 2021, as a virtual event in November 2021. The 8 full papers presented together with 2 short papers were carefully reviewed and selected from 12 submissions. The papers are organized in topical sections named: experiences and proposals related with online FM learning and teaching, integrating/embedding FM teaching/thinking within other computer science courses, teaching FM for industry, and innovative learning... This book constitutes the refereed proceedings of the 4th International Workshop and Tutorial, FMTea 2021, Held as Part of the 4th World Congress o... |
cena:
221,37 |
 |
ФЕНОМЕНОЛОГИЯ ДИАЛОГОВ &
ISBN: 9781734786286 / Rosyjski / Miękka / 254 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
56,66 |
 |
Logic's Dilemma: What is Truth?
ISBN: 9781736859827 / Angielski / Miękka / 120 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
79,18 |
 |
Filosofía posdarwiniana. Enfoques actuales sobre la intersección entre análisis epistemológico y naturalismo filosófico
ISBN: 9781848903791 / Hiszpański / Miękka / 478 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
103,72 |
 |
The Ultrapower Axiom
ISBN: 9783110719697 / Angielski / Twarda / 336 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
977,35 |
 |
The Elements of Advanced Mathematics
ISBN: 9781032102757 / Angielski / Twarda / 272 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
464,29 |
 |
Fuzzy Systems: Concepts, Methodologies, Tools, and Applications, VOL 1
ISBN: 9781668428818 / Angielski / Twarda / 608 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
1900,35 |
 |
Fuzzy Systems: Concepts, Methodologies, Tools, and Applications, VOL 2
ISBN: 9781668428825 / Angielski / Twarda / 612 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
1900,35 |
 |
Fuzzy Systems: Concepts, Methodologies, Tools, and Applications, VOL 3
ISBN: 9781668428832 / Angielski / Twarda / 652 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
1900,35 |
 |
Logical Foundations of Computer Science: International Symposium, Lfcs 2022, Deerfield Beach, Fl, Usa, January 10-13, 2022, Proceedings
ISBN: 9783030930998 / Angielski / Miękka / 388 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the International Symposium on Logical Foundations of Computer Science, LFCS 2022, held in Deerfield Beach, FL, USA, in January 2022.
The 23 revised full papers were carefully reviewed and selected from 35 submissions. The scope of the Symposium is broad and includes constructive mathematics and type theory; homotopy type theory; logic, automata, and automatic structures; computability and randomness; logical foundations of programming; logical aspects of computational complexity; parameterized complexity; logic programming and... This book constitutes the refereed proceedings of the International Symposium on Logical Foundations of Computer Science, LFCS 2022, held in Deerfield...
|
cena:
301,89 |
 |
Formal Analysis by Abstract Interpretation: Case Studies in Modern Protocols
ISBN: 9783030911522 / Angielski / Miękka / 128 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The book provides a gentle introduction and definition of the denotational-based abstract interpretation method. The book demonstrates how the above method of formal analysis can be used, not only to address the security of systems, but other more general and interesting properties related to the testing, mutating and semantic ambiguity resolution of protocols. The book presents three case studies, all related to current complex protocols and standards used in industry, particularly in the context of IoT and Industry 4.0. The book provides a gentle introduction and definition of the denotational-based abstract interpretation method. The book demonstrates how the abov... |
cena:
241,50 |
 |
Journal of Applied Logics - IfCoLog Journal of Logics and their Applications. Volume 8, number 10, December 2021
ISBN: 9781848903814 / Angielski / Miękka / 168 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
86,79 |
 |
Domain-Specific Languages of Mathematics
ISBN: 9781848903883 / Angielski / Miękka / 268 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
88,90 |
 |
Flatland: A Romance of Many Dimensions (By a Square)
ISBN: 9781611046410 / Angielski / Miękka / 132 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
33,65 |
 |
Welt und Logik
ISBN: 9781848903838 / Niemiecki / Miękka / 498 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
105,84 |
 |
World and Logic
ISBN: 9781848903845 / Angielski / Miękka / 474 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
103,72 |
 |
Modern Mathematical Logic
ISBN: 9781108833141 / Angielski / Twarda / 550 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This textbook gives a complete and modern introduction to mathematical logic. The author uses contemporary notation, conventions, and perspectives throughout, and emphasizes interactions with the rest of mathematics. In addition to covering the basic concepts of mathematical logic and the fundamental material on completeness, compactness, and incompleteness, it devotes significant space to thorough introductions to the pillars of the modern subject: model theory, set theory, and computability. Requiring only a modest background of undergraduate mathematics, the text can be readily adapted for...
This textbook gives a complete and modern introduction to mathematical logic. The author uses contemporary notation, conventions, and perspectives thr...
|
cena:
247,09 |
 |
De Mathematicae atque Philosophiae Elegantia. Notas Festivas para Abel Lassalle Casanave
ISBN: 9781848903821 / Hiszpański / Miękka / 316 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
93,14 |
 |
Journal of Applied Logics. The IfCoLog Journal of Logics and their Applications, Volume 9, Issue 1, January 2022. Special issue: Proceedings of the 19th Brazilian Logic Conference (XIX EBL)
ISBN: 9781848903890 / Angielski / Miękka / 592 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
143,94 |
 |
Três Vezes Não: um estudo sobre as negações clássica, paraconsistente e paracompleta
ISBN: 9781848903920 / Portugalski / Miękka / 250 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
114,30 |
Czytaj nas na:
KrainaKsiazek.PL - Księgarnia Internetowa
