» książki » Mathematics - Logic
topmenu
 |
Proof and Computation: Digitization in Mathematics, Computer Science, and Philosophy
ISBN: 9789813270930 / Angielski / Twarda / 300 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
485,78 |
 |
Deontic Logic and Normative Systems: 14th International Conference, DEON 2018, Utrecht, The Netherlands, 3-8 July 2018
ISBN: 9781848902787 / Angielski / Miękka / 344 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
96,56 |
 |
Hilary Putnam on Logic and Mathematics
ISBN: 9783319962733 / Angielski / Twarda / 274 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
522,07 |
 |
The Logica Yearbook 2016
ISBN: 9781848902435 / Angielski / Miękka / 326 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
90,27 |
 |
Logic, Methodology and Philosophy of Science: Proceedings of the Fifteenth International Congress
ISBN: 9781848902299 / Angielski / Miękka / 468 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
102,86 |
 |
Computational Logic: Volume 1: Classical Deductive Computing with Classical Logic. Second Edition
ISBN: 9781848902800 / Angielski / Miękka / 574 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
132,25 |
 |
Recursion Theory: Lecture Notes in Logic 1
ISBN: 9781138466876 / Angielski / Twarda / 96 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume, which ten years ago appeared as the first in the acclaimed series Lecture Notes in Logic, serves as an introduction to recursion theory. The fundamental concept of recursion makes the idea of computability accessible to a mathematical analysis, thus forming one of the pillars on which modern computer science rests. The clarity and focus of this text have established it as a classic instrument for teaching and self-study that prepares its readers for the study of advanced monographs and the current literature on recursion theory.
This volume, which ten years ago appeared as the first in the acclaimed series Lecture Notes in Logic, serves as an introduction to recursion theory. ...
|
cena:
995,85 |
 |
Gödel 96: Logical Foundations of Mathematics, Computer Science, and Physics: Lecture Notes in Logic 6
ISBN: 9781138466869 / Angielski / Twarda Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume contains the proceedings of the conference Logical Foundations of Mathematics, Computer Science, and Physics-Kurt G�del's Legacy, held in Brno, Czech Republic on the 90th anniversary of his birth. The wide and continuing importance of G�del s work in the logical foundations of mathematics, computer science, and physics is confirmed by the broad range of speakers who participated in making this gathering a scientific event.
This volume contains the proceedings of the conference Logical Foundations of Mathematics, Computer Science, and Physics-Kurt G�del's Legacy, held i...
|
cena:
680,10 |
 |
Goedel's Way: Exploits Into an Undecidable World
ISBN: 9781138442061 / Angielski / Twarda Termin realizacji zamówienia: ok. 5-8 dni roboczych. Kurt G�del (1906-1978) was an Austrian-American mathematician, who is best known for his incompleteness theorems. He was the greatest mathematical logician of the 20th century, with his contributions extending to Einstein�s general relativity, as he proved that Einstein�s theory allows for time machines. The G�del incompleteness theorem - the usual formal mathematical systems cannot prove nor disprove all true mathematical sentences - is frequently presented in textbooks as something that happens in the rarefied realms of mathematical logic, and that has nothing to do with the real...
Kurt G�del (1906-1978) was an Austrian-American mathematician, who is best known for his incompleteness theorems. He was the greatest mathematical l...
|
cena:
971,57 |
 |
A First Course in Logic
ISBN: 9780815386643 / Angielski / Twarda / 234 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
825,84 |
 |
A First Course in Logic
ISBN: 9780815386650 / Angielski / Miękka / 234 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
340,00 |
 |
Dependence Logic: Theory and Applications
ISBN: 9783319811239 / Angielski / Miękka / 276 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
200,77 |
 |
A New Perspective on Nonmonotonic Logics
ISBN: 9783319835938 / Angielski / Miękka / 365 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
401,58 |
 |
Probability Logics: Probability-Based Formalization of Uncertain Reasoning
ISBN: 9783319836379 / Angielski / Miękka / 215 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
522,07 |
 |
Principles and Practice of Constraint Programming: 24th International Conference, Cp 2018, Lille, France, August 27-31, 2018, Proceedings
ISBN: 9783319983332 / Angielski / Miękka / 765 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the proceedings of the 24th International Conference on Principles and Practice of Constraint Programming, CP 2018, held in Lille, France, in August 2018.The 41 full and 9 short papers presented in this volume were carefully reviewed and selected from 114 submissions.
This book constitutes the proceedings of the 24th International Conference on Principles and Practice of Constraint Programming, CP 2018, held in Lill...
|
cena:
401,58 |
 |
Developments in Language Theory: 22nd International Conference, Dlt 2018, Tokyo, Japan, September 10-14, 2018, Proceedings
ISBN: 9783319986531 / Angielski / Miękka / 568 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the proceedings of the 22nd International Conference on Developments in Language Theory, DLT 2018, held in Tokyo, Japan, in September 2018. The papers cover the following topics and areas: combinatorial and algebraic properties of words and languages; algebraic theories for automata and languages;
This book constitutes the proceedings of the 22nd International Conference on Developments in Language Theory, DLT 2018, held in Tokyo, Japan, in Sept...
|
cena:
200,77 |
 |
Decision Procedures: An Algorithmic Point of View
ISBN: 9783662570654 / Angielski / Miękka / 356 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
240,93 |
 |
Proof Complexity
ISBN: 9781108416849 / Angielski / Twarda / 530 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Offers a self-contained work presenting basic ideas, classical results, current state of the art and possible future directions in proof complexity.
Offers a self-contained work presenting basic ideas, classical results, current state of the art and possible future directions in proof complexity.
|
cena:
650,60 |
 |
Journal of Applied Logics - IfCoLog Journal: Volume 5, number 4, June 2018
ISBN: 9781848902725 / Angielski / Miękka / 182 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
62,98 |
 |
Journal of Applied Logics - IfCoLog Journal: Volume 5, number 3, June 2018: Special Issue: Argument Strength
ISBN: 9781848902794 / Angielski / Miękka / 158 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
62,98 |
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
