• Wyszukiwanie zaawansowane
  • Kategorie
  • Kategorie BISAC
  • Książki na zamówienie
  • Promocje
  • Granty
  • Książka na prezent
  • Opinie
  • Pomoc
  • Załóż konto
  • Zaloguj się

 » książki  » Mathematics - Logic

zaloguj się | załóż konto
Logo Krainaksiazek.pl

koszyk

konto

szukaj
topmenu
Księgarnia internetowa
Szukaj
Książki na zamówienie
Promocje
Granty
Książka na prezent
Moje konto
Pomoc
 
 
Wyszukiwanie zaawansowane
Pusty koszyk
Bezpłatna dostawa dla zamówień powyżej 20 złBezpłatna dostawa dla zamówień powyżej 20 zł

Kategorie główne

• Nauka
 [2950116]
• Literatura piękna
 [1816336]

  więcej...
• Turystyka
 [70365]
• Informatyka
 [151382]
• Komiksy
 [36157]
• Encyklopedie
 [23168]
• Dziecięca
 [611655]
• Hobby
 [135936]
• AudioBooki
 [1800]
• Literatura faktu
 [225852]
• Muzyka CD
 [388]
• Słowniki
 [2970]
• Inne
 [446238]
• Kalendarze
 [1179]
• Podręczniki
 [166839]
• Poradniki
 [469514]
• Religia
 [507394]
• Czasopisma
 [506]
• Sport
 [61426]
• Sztuka
 [242327]
• CD, DVD, Video
 [3461]
• Technologie
 [219652]
• Zdrowie
 [98967]
• Książkowe Klimaty
 [123]
• Zabawki
 [2482]
• Puzzle, gry
 [3735]
• Literatura w języku ukraińskim
 [264]
• Art. papiernicze i szkolne
 [7903]
Kategorie szczegółowe BISAC

Kategoria BISAC: Mathematics >> Logic

ilość książek w kategorii: 5183

Wyświetl książki:
Dostępne języki:
Cena:
od:
do:
ilość na stronie:


 Sudoku For Super Kids: Sudoku For Kids Ages 6-12, 4x4, 6x6 and 9x9, 280+ Fun Sudoku Puzzles For Kids And Beginners, Brain Games, Challenging, Spencer, Albert D. 9798419770126 Independently published
Sudoku For Super Kids: Sudoku For Kids Ages 6-12, 4x4, 6x6 and 9x9, 280+ Fun Sudoku Puzzles For Kids And Beginners, Brain Games, Challenging,

ISBN: 9798419770126 / Angielski / Miękka / 102 str.

ISBN: 9798419770126/Angielski/Miękka/102 str.

Termin realizacji zamówienia: ok. 5-8 dni roboczych.
Spencer Albert D. Spencer
cena: 31,71

 Godel's Theorem: A Very Short Introduction A. W. (Tutorial Fellow at St Hugh's College, and Professor of Philosophy at the University of Oxford) Moore 9780192847850 Oxford University Press
Godel's Theorem: A Very Short Introduction

ISBN: 9780192847850 / Angielski / Miękka / 160 str.

ISBN: 9780192847850/Angielski/Miękka/160 str.

Termin realizacji zamówienia: ok. 5-8 dni roboczych.
and Professor o A. W. (Tutorial Fellow at St Hugh's College
cena: 49,10

 Homogeneous Ordered Graphs, Metrically Homogeneous Graphs, and Beyond Cherlin, Gregory 9781009229487 Cambridge University Press
Homogeneous Ordered Graphs, Metrically Homogeneous Graphs, and Beyond

ISBN: 9781009229487 / Angielski / Twarda

ISBN: 9781009229487/Angielski/Twarda

Termin realizacji zamówienia: ok. 5-8 dni roboczych.
New Jersey) Cherlin Gregory (Rutgers University
cena: 464,72

 Mathematical Logic and Computation Jeremy (Carnegie Mellon University, Pennsylvania) Avigad 9781108478755 Cambridge University Press
Mathematical Logic and Computation

ISBN: 9781108478755 / Angielski / Twarda / 450 str.

ISBN: 9781108478755/Angielski/Twarda/450 str.

Termin realizacji zamówienia: ok. 5-8 dni roboczych.
Pennsylvania) Avigad Jeremy (Carnegie Mellon University
cena: 293,39

 Homogeneous Ordered Graphs, Metrically Homogeneous Graphs, and Beyond Cherlin, Gregory 9781009229692 Cambridge University Press
Homogeneous Ordered Graphs, Metrically Homogeneous Graphs, and Beyond

ISBN: 9781009229692 / Angielski / Twarda

ISBN: 9781009229692/Angielski/Twarda

Termin realizacji zamówienia: ok. 5-8 dni roboczych.
Gregory Cherlin
cena: 534,18

 The Perfect Nonogram Puzzle Book For Beginners: Learn How To Do Nonograms Kinzer, Dave 9798553307691 Independently published
The Perfect Nonogram Puzzle Book For Beginners: Learn How To Do Nonograms

ISBN: 9798553307691 / Angielski / Miękka / 74 str.

ISBN: 9798553307691/Angielski/Miękka/74 str.

Termin realizacji zamówienia: ok. 5-8 dni roboczych.
Kinzer Dave Kinzer
cena: 35,28

 Language, Logic, and Computation: 13th International Tbilisi Symposium, Tbillc 2019, Batumi, Georgia, September 16-20, 2019, Revised Selected Papers Özgün, Aybüke 9783030984786 Springer
Language, Logic, and Computation: 13th International Tbilisi Symposium, Tbillc 2019, Batumi, Georgia, September 16-20, 2019, Revised Selected Papers

ISBN: 9783030984786 / Angielski / Miękka / 372 str.

ISBN: 9783030984786/Angielski/Miękka/372 str.

Termin realizacji zamówienia: ok. 5-8 dni roboczych.
Aybüke Özgün; Yulia Zinova
cena: 301,89

 Computability Theory and Foundations of Mathematics - Proceedings of the 9th International Conference on Computability Theory and Foundations of Mathe Ningning Peng Kazuyuki Tanaka Yue Yang 9789811259289 World Scientific Publishing Company
Computability Theory and Foundations of Mathematics - Proceedings of the 9th International Conference on Computability Theory and Foundations of Mathe

ISBN: 9789811259289 / Angielski / Twarda

ISBN: 9789811259289/Angielski/Twarda

Termin realizacji zamówienia: ok. 5-8 dni roboczych.
Ningning Peng; Kazuyuki Tanaka; Yue Yang
cena: 439,90

 Games for Your Mind: The History and Future of Logic Puzzles Rosenhouse, Jason 9780691242026 Princeton University Press
Games for Your Mind: The History and Future of Logic Puzzles

ISBN: 9780691242026 / Angielski / Miękka / 352 str.

ISBN: 9780691242026/Angielski/Miękka/352 str.

Termin realizacji zamówienia: ok. 5-8 dni roboczych.
Jason Rosenhouse
cena: 107,53

 R-Calculus, II: Many-Valued Logics Wei Li Yuefei Sui 9789811692932 Springer
R-Calculus, II: Many-Valued Logics

ISBN: 9789811692932 / Angielski / Twarda / 288 str.

ISBN: 9789811692932/Angielski/Twarda/288 str.

Termin realizacji zamówienia: ok. 5-8 dni roboczych.
Wei Li; Yuefei Sui
cena: 603,81

 
Journal of Applied Logics. The IfCoLog Journal of Logics and their Applications, Volume 9, Issue 2, April 2022

ISBN: 9781848903975 / Angielski / Miękka / 78 str.

ISBN: 9781848903975/Angielski/Miękka/78 str.

Termin realizacji zamówienia: ok. 5-8 dni roboczych.
Dov Gabbay
cena: 69,86

 
Can Luck Be Measured

ISBN: 9798809928410 / Angielski / Miękka / 342 str.

ISBN: 9798809928410/Angielski/Miękka/342 str.

Termin realizacji zamówienia: ok. 5-8 dni roboczych.
Webster Wagner
cena: 67,43

 
Overlooked Genius: An Introduction to the Work of Kurt Gӧdel

ISBN: 9798807722829 / Angielski / Miękka / 112 str.

ISBN: 9798807722829/Angielski/Miękka/112 str.

Termin realizacji zamówienia: ok. 5-8 dni roboczych.
Wenming Qu
cena: 39,69

 Theory and Applications of NeutroAlgebras as Generalizations of Classical Algebras Smarandache, Florentin 9781668434963 Eurospan (JL)
Theory and Applications of NeutroAlgebras as Generalizations of Classical Algebras

ISBN: 9781668434963 / Angielski / Miękka / 315 str.

ISBN: 9781668434963/Angielski/Miękka/315 str.

Termin realizacji zamówienia: ok. 5-8 dni roboczych.
Florentin Smarandache;Madeline Al-Tahan
Neutrosophy is a new branch of philosophy that studies the origin, nature, and scope of neutralities as well as their interactions with different ideational spectra. In all classical algebraic structures, the law of compositions on a given set are well-defined, but this is a restrictive case because there are situations in science where a law of composition defined on a set may be only partially defined and partially undefined, which we call NeutroDefined, or totally undefined, which we call AntiDefined.

Theory and Applications of NeutroAlgebras as Generalizations of Classical...
Neutrosophy is a new branch of philosophy that studies the origin, nature, and scope of neutralities as well as their interactions with different idea...
cena: 1030,62

 Fuzzy Logic: Recent Applications and Developments Carter, Jenny 9783030664763 Springer International Publishing
Fuzzy Logic: Recent Applications and Developments

ISBN: 9783030664763 / Angielski / Miękka

ISBN: 9783030664763/Angielski/Miękka

Termin realizacji zamówienia: ok. 5-8 dni roboczych.

Since its inception, fuzzy logic has attracted an incredible amount of interest, and this interest continues to grow at an exponential rate. As such, scientists, researchers, educators and practitioners of fuzzy logic continue to expand on the applicability of what and how fuzzy can be utilised in the real-world. In this book, the authors present key application areas where fuzzy has had significant success. The chapters cover a plethora of application domains, proving credence to the versatility and robustness of a fuzzy approach.



A better understanding of fuzzy will ultimately allow...

Since its inception, fuzzy logic has attracted an incredible amount of interest, and this interest continues to grow at an exponential rate. As suc...

cena: 644,07

 Theory and Applications of NeutroAlgebras as Generalizations of Classical Algebras Smarandache, Florentin 9781668434956 Eurospan (JL)
Theory and Applications of NeutroAlgebras as Generalizations of Classical Algebras

ISBN: 9781668434956 / Angielski / Twarda / 315 str.

ISBN: 9781668434956/Angielski/Twarda/315 str.

Termin realizacji zamówienia: ok. 5-8 dni roboczych.
Florentin Smarandache;Madeline Al-Tahan
Neutrosophy is a new branch of philosophy that studies the origin, nature, and scope of neutralities as well as their interactions with different ideational spectra. In all classical algebraic structures, the law of compositions on a given set are well-defined, but this is a restrictive case because there are situations in science where a law of composition defined on a set may be only partially defined and partially undefined, which we call NeutroDefined, or totally undefined, which we call AntiDefined.

Theory and Applications of NeutroAlgebras as Generalizations of Classical...
Neutrosophy is a new branch of philosophy that studies the origin, nature, and scope of neutralities as well as their interactions with different idea...
cena: 1357,40

 Mathematical Logic Ebbinghaus, Heinz-Dieter, Flum, Jörg, Wolfgang Thomas 9783030738419 Springer International Publishing
Mathematical Logic

ISBN: 9783030738419 / Angielski / Miękka

ISBN: 9783030738419/Angielski/Miękka

Termin realizacji zamówienia: ok. 5-8 dni roboczych.
Heinz-Dieter Ebbinghaus; Jörg Flum;Wolfgang Thomas
What is a mathematical proof? How can proofs be justified? Are there limitations to provability? To what extent can machines carry out mathe­ matical proofs? Only in this century has there been success in obtaining substantial and satisfactory answers. The present book contains a systematic discussion of these results. The investigations are centered around first-order logic. Our first goal is Godel's completeness theorem, which shows that the con­ sequence relation coincides with formal provability: By means of a calcu­ lus consisting of simple formal inference rules, one can obtain all...
What is a mathematical proof? How can proofs be justified? Are there limitations to provability? To what extent can machines carry out mathe­ matical...
cena: 201,24

 Relevance Logics and other Tools for Reasoning. Essays in Honor of J. Michael Dunn Katalin Bimbó 9781848903951 College Publications
Relevance Logics and other Tools for Reasoning. Essays in Honor of J. Michael Dunn

ISBN: 9781848903951 / Angielski / Miękka / 472 str.

ISBN: 9781848903951/Angielski/Miękka/472 str.

Termin realizacji zamówienia: ok. 5-8 dni roboczych.
Katalin Bimbo
cena: 99,49

 Truth and Knowledge Karl Schlechta 9781848904033 College Publications
Truth and Knowledge

ISBN: 9781848904033 / Angielski / Miękka / 204 str.

ISBN: 9781848904033/Angielski/Miękka/204 str.

Termin realizacji zamówienia: ok. 5-8 dni roboczych.
Karl Schlechta
cena: 74,09

 Automated Reasoning: 11th International Joint Conference, Ijcar 2022, Haifa, Israel, August 8-10, 2022, Proceedings Blanchette, Jasmin 9783031107689 Springer International Publishing
Automated Reasoning: 11th International Joint Conference, Ijcar 2022, Haifa, Israel, August 8-10, 2022, Proceedings

ISBN: 9783031107689 / Angielski / Miękka

ISBN: 9783031107689/Angielski/Miękka

Termin realizacji zamówienia: ok. 5-8 dni roboczych.

This volume, LNAI 13385, constitutes the refereed proceedings of the 11th International Joint Conference on Automated Reasoning, IJCAR 2022, held in Haifa, Israel, in August 2022.  






The 32 full research papers and 9 short papers presented together with two invited talks were carefully reviewed and selected from 85 submissions. The papers focus on the following topics: Satisfiability, SMT Solving,Arithmetic; Calculi and Orderings; Knowledge Representation and Jutsification; Choices, Invariance, Substitutions and Formalization; Modal Logics; Proofs System and Proofs...

This volume, LNAI 13385, constitutes the refereed proceedings of the 11th International Joint Conference on Automated Reasoning, IJCAR 2022, held i...

cena: 160,99

Pierwsza Podprzednia  100  101  102  Następna Ostatnia

Facebook - konto krainaksiazek.pl



Opinie o Krainaksiazek.pl na Opineo.pl

Partner Mybenefit

Krainaksiazek.pl w programie rzetelna firma Krainaksiaze.pl - płatności przez paypal

Czytaj nas na:

Facebook - krainaksiazek.pl
  • książki na zamówienie
  • granty
  • książka na prezent
  • kontakt
  • pomoc
  • opinie
  • regulamin
  • polityka prywatności

Zobacz:

  • Księgarnia czeska

  • Wydawnictwo Książkowe Klimaty

1997-2026 DolnySlask.com Agencja Internetowa

© 1997-2022 krainaksiazek.pl
     
KONTAKT | REGULAMIN | POLITYKA PRYWATNOŚCI | USTAWIENIA PRYWATNOŚCI
Zobacz: Księgarnia Czeska | Wydawnictwo Książkowe Klimaty | Mapa strony | Lista autorów
KrainaKsiazek.PL - Księgarnia Internetowa
Polityka prywatnosci - link
Krainaksiazek.pl - płatnośc Przelewy24
Przechowalnia Przechowalnia