• 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
 [2952079]
• Literatura piękna
 [1850969]

  więcej...
• Turystyka
 [71058]
• Informatyka
 [151066]
• Komiksy
 [35579]
• Encyklopedie
 [23181]
• Dziecięca
 [620496]
• Hobby
 [139036]
• AudioBooki
 [1646]
• Literatura faktu
 [228729]
• Muzyka CD
 [379]
• Słowniki
 [2932]
• Inne
 [445708]
• Kalendarze
 [1409]
• Podręczniki
 [164793]
• Poradniki
 [480107]
• Religia
 [510956]
• Czasopisma
 [511]
• Sport
 [61267]
• Sztuka
 [243299]
• CD, DVD, Video
 [3411]
• Technologie
 [219640]
• Zdrowie
 [100984]
• Książkowe Klimaty
 [124]
• Zabawki
 [2281]
• Puzzle, gry
 [3363]
• Literatura w języku ukraińskim
 [258]
• Art. papiernicze i szkolne
 [8020]
Kategorie szczegółowe BISAC

Kategoria BISAC: Mathematics >> Logic

ilość książek w kategorii: 5162

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


 Saved from the Cellar: Gerhard Gentzen's Shorthand Notes on Logic and Foundations of Mathematics Von Plato, Jan 9783319421193 Springer
Saved from the Cellar: Gerhard Gentzen's Shorthand Notes on Logic and Foundations of Mathematics

ISBN: 9783319421193 / Angielski / Twarda / 315 str.

ISBN: 9783319421193/Angielski/Twarda/315 str.

Termin realizacji zamówienia: ok. 5-8 dni roboczych.
Jan Von Plato
Gerhard Gentzen is best known for his development of the proof systems of natural deduction and sequent calculus, central in many areas of logic and computer science today.
Gerhard Gentzen is best known for his development of the proof systems of natural deduction and sequent calculus, central in many areas of logic and c...
cena: 605,23

 Philosophical Logic: Current Trends in Asia: Proceedings of Awpl-Tplc 2016 Yang, Syraya Chin-Mu 9789811063541 Springer
Philosophical Logic: Current Trends in Asia: Proceedings of Awpl-Tplc 2016

ISBN: 9789811063541 / Angielski / Twarda / 296 str.

ISBN: 9789811063541/Angielski/Twarda/296 str.

Termin realizacji zamówienia: ok. 5-8 dni roboczych.
Syraya Chin Yang; Kok Yong Lee; Hiroakira Ono
This volume brings together a group of logic-minded philosophers and philosophically oriented logicians, mainly from Asia, to address a variety of logical and philosophical topics of current interest, offering a representative cross-section of the philosophical logic landscape in early 21st-century Asia.
This volume brings together a group of logic-minded philosophers and philosophically oriented logicians, mainly from Asia, to address a variety of log...
cena: 605,23

 Collected Works in Ordered Structures and Mathematical Logic: Volume 2 Ribenboim, Paulo 9783319721439 Springer
Collected Works in Ordered Structures and Mathematical Logic: Volume 2

ISBN: 9783319721439 / Angielski / Twarda / 621 str.

ISBN: 9783319721439/Angielski/Twarda/621 str.

Termin realizacji zamówienia: ok. 5-8 dni roboczych.
Paulo Ribenboim
Together, these volumes include papers on algebraic structures on directed graphs, real algebraic geometry, applications of model theory in collaboration with Lou van dem Dries, and more recent papers with Sibylla Priess-Crampe on mathematical logic programming and Ultrametric spaces.
Together, these volumes include papers on algebraic structures on directed graphs, real algebraic geometry, applications of model theory in collaborat...
cena: 605,23

 Exploring Meinong's Jungle and Beyond: The Sylvan Jungle - Volume 1 Routley, Richard 9783319787916 Springer
Exploring Meinong's Jungle and Beyond: The Sylvan Jungle - Volume 1

ISBN: 9783319787916 / Angielski / Twarda / 620 str.

ISBN: 9783319787916/Angielski/Twarda/620 str.

Termin realizacji zamówienia: ok. 5-8 dni roboczych.
Maureen Eckert; Ross Brady; Filippo Cassati
cena: 605,23

 Saved from the Cellar: Gerhard Gentzen's Shorthand Notes on Logic and Foundations of Mathematics Von Plato, Jan 9783319825021 Springer
Saved from the Cellar: Gerhard Gentzen's Shorthand Notes on Logic and Foundations of Mathematics

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

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

Termin realizacji zamówienia: ok. 5-8 dni roboczych.
Jan Von Plato
cena: 605,23

 New Directions in Paraconsistent Logic: 5th Wcp, Kolkata, India, February 2014 Beziau, Jean-Yves 9788132238232 Springer
New Directions in Paraconsistent Logic: 5th Wcp, Kolkata, India, February 2014

ISBN: 9788132238232 / Angielski / Miękka / 552 str.

ISBN: 9788132238232/Angielski/Miękka/552 str.

Termin realizacji zamówienia: ok. 5-8 dni roboczych.
Jean-Yves Beziau; Mihir Chakraborty; Soma Dutta
cena: 605,23

 Philosophical Logic: Current Trends in Asia: Proceedings of Awpl-Tplc 2016 Yang, Syraya Chin-Mu 9789811348631 Springer
Philosophical Logic: Current Trends in Asia: Proceedings of Awpl-Tplc 2016

ISBN: 9789811348631 / Angielski / Miękka / 296 str.

ISBN: 9789811348631/Angielski/Miękka/296 str.

Termin realizacji zamówienia: ok. 5-8 dni roboczych.
Syraya Chin-Mu Yang; Kok Yong Lee; Hiroakira Ono
cena: 605,23

 Knowledge, Proof and Dynamics: The Fourth Asian Workshop on Philosophical Logic Liu, Fenrong 9789811522208 Springer
Knowledge, Proof and Dynamics: The Fourth Asian Workshop on Philosophical Logic

ISBN: 9789811522208 / Angielski / Twarda / 217 str.

ISBN: 9789811522208/Angielski/Twarda/217 str.

Termin realizacji zamówienia: ok. 5-8 dni roboczych.
Fenrong Liu; Hiroakira Ono; Junhua Yu
cena: 605,23

 Principles and Practice of Constraint Programming: 26th International Conference, Cp 2020, Louvain-La-Neuve, Belgium, September 7-11, 2020, Proceeding Helmut Simonis 9783030584740 Springer
Principles and Practice of Constraint Programming: 26th International Conference, Cp 2020, Louvain-La-Neuve, Belgium, September 7-11, 2020, Proceeding

ISBN: 9783030584740 / Angielski / Miękka / 972 str.

ISBN: 9783030584740/Angielski/Miękka/972 str.

Termin realizacji zamówienia: ok. 5-8 dni roboczych.
Helmut Simonis
cena: 605,23

 Knowledge, Proof and Dynamics: The Fourth Asian Workshop on Philosophical Logic Fenrong Liu Hiroakira Ono Junhua Yu 9789811522239 Springer
Knowledge, Proof and Dynamics: The Fourth Asian Workshop on Philosophical Logic

ISBN: 9789811522239 / Angielski / Miękka / 217 str.

ISBN: 9789811522239/Angielski/Miękka/217 str.

Termin realizacji zamówienia: ok. 5-8 dni roboczych.
Fenrong Liu; Hiroakira Ono; Junhua Yu
cena: 605,23

 Hiroakira Ono on Substructural Logics Nikolaos Galatos Kazushige Terui 9783030769192 Springer
Hiroakira Ono on Substructural Logics

ISBN: 9783030769192 / Angielski / Twarda / 350 str.

ISBN: 9783030769192/Angielski/Twarda/350 str.

Termin realizacji zamówienia: ok. 5-8 dni roboczych.
Nikolaos Galatos; Kazushige Terui
cena: 605,23

 Objects, Structures, and Logics: Filmat Studies in the Philosophy of Mathematics Gianluigi Oliveri Claudio Ternullo Stefano Boscolo 9783030847050 Springer
Objects, Structures, and Logics: Filmat Studies in the Philosophy of Mathematics

ISBN: 9783030847050 / Angielski / Twarda / 376 str.

ISBN: 9783030847050/Angielski/Twarda/376 str.

Termin realizacji zamówienia: ok. 5-8 dni roboczych.
Gianluigi Oliveri; Claudio Ternullo; Stefano Boscolo
cena: 605,23

 Ernst Schröder on Algebra and Logic Pollard, Stephen 9783031056703 Springer International Publishing
Ernst Schröder on Algebra and Logic

ISBN: 9783031056703 / Angielski / Twarda

ISBN: 9783031056703/Angielski/Twarda

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

This volume offers English translations of three early works by Ernst Schröder (1841-1902), a mathematician and logician whose philosophical ruminations and pathbreaking contributions to algebraic logic attracted the admiration and ire of figures such as Dedekind, Frege, Husserl, and C. S. Peirce. Today he still engages the sympathetic interest of logicians and philosophers. 

The works translated record Schröder’s journey out of algebra into algebraic logic and document his transformation of George Boole’s opaque and unwieldy logical calculus into what we now recognize as...

This volume offers English translations of three early works by Ernst Schröder (1841-1902), a mathematician and logician whose philosophical rumin...

cena: 605,23

 Hiroakira Ono on Substructural Logics Nikolaos Galatos Kazushige Terui 9783030769222 Springer
Hiroakira Ono on Substructural Logics

ISBN: 9783030769222 / Angielski / Miękka / 375 str.

ISBN: 9783030769222/Angielski/Miękka/375 str.

Termin realizacji zamówienia: ok. 5-8 dni roboczych.
Nikolaos Galatos; Kazushige Terui
This volume is dedicated to Hiroakira Ono life’s work on substructural logics. Chapters, written by well-established academics, cover topics related to universal algebra, algebraic logic and the Full Lambek calculus; the book includes a short biography about Hiroakira Ono. The book starts with detailed surveys on universal algebra, abstract algebraic logic, topological dualities, and connections to computer science.It further contains specialised contributions on connections to formal languages (recognizability in residuated lattices and connections to the finite embedding property),...
This volume is dedicated to Hiroakira Ono life’s work on substructural logics. Chapters, written by well-established academics, cover topics related...
cena: 605,23

 Objects, Structures, and Logics: FilMat Studies in the Philosophy of Mathematics Gianluigi Oliveri Claudio Ternullo Stefano Boscolo 9783030847081 Springer
Objects, Structures, and Logics: FilMat Studies in the Philosophy of Mathematics

ISBN: 9783030847081 / Angielski / Miękka / 363 str.

ISBN: 9783030847081/Angielski/Miękka/363 str.

Termin realizacji zamówienia: ok. 5-8 dni roboczych.
Gianluigi Oliveri; Claudio Ternullo; Stefano Boscolo
This edited collection casts light on central issues within contemporary philosophy of mathematics such as the realism/anti-realism dispute; the relationship between logic and metaphysics; and the question of whether mathematics is a science of objects or structures.The discussions offered in the papers involve an in-depth investigation of, among other things, the notions of mathematical truth, proof, and grounding; and, often, a special emphasis is placed on considerations relating to mathematical practice.A distinguishing feature of the book is the multicultural nature of the community that...
This edited collection casts light on central issues within contemporary philosophy of mathematics such as the realism/anti-realism dispute; the relat...
cena: 605,23

 Saul Kripke on Modal Logic Yale Weiss Romina Birman 9783031576348 Springer
Saul Kripke on Modal Logic

ISBN: 9783031576348 / Angielski

ISBN: 9783031576348/Angielski

Termin realizacji zamówienia: ok. 5-8 dni roboczych.
Yale Weiss; Romina Birman
cena: 605,23

 Fuzzy Relational Systems: Foundations and Principles Belohlávek, Radim 9780306467776 Kluwer Academic Publishers
Fuzzy Relational Systems: Foundations and Principles

ISBN: 9780306467776 / Angielski / Twarda / 369 str.

ISBN: 9780306467776/Angielski/Twarda/369 str.

Termin realizacji zamówienia: ok. 5-8 dni roboczych.
Radim Belohlavek
Since their inception, fuzzy sets and fuzzy logic became popular. The reason is that the very idea of fuzzy sets and fuzzy logic attacks an old tradition in science, namely bivalent (black-or-white, all-or-none) judg- ment and reasoning and the thus resulting approach to formation of scientific theories and models of reality. The idea of fuzzy logic, briefly speaking, is just the opposite of this tradition: instead of full truth and falsity, our judgment and reasoning also involve intermediate truth values. Application of this idea to various fields has become known under the term fuzzy...
Since their inception, fuzzy sets and fuzzy logic became popular. The reason is that the very idea of fuzzy sets and fuzzy logic attacks an old tradit...
cena: 605,23

 Reconfigurable Computing: Accelerating Computation with Field-Programmable Gate Arrays Gokhale, Maya B. 9780387261058 Springer
Reconfigurable Computing: Accelerating Computation with Field-Programmable Gate Arrays

ISBN: 9780387261058 / Angielski / Twarda / 238 str.

ISBN: 9780387261058/Angielski/Twarda/238 str.

Termin realizacji zamówienia: ok. 5-8 dni roboczych.
Maya Gokhale; Paul S. Graham

A one-of-a-kind survey of the field of Reconfigurable Computing

Gives a comprehensive introduction to a discipline that offers a 10X-100X acceleration of algorithms over microprocessors

Discusses the impact of reconfigurable hardware on a wide range of applications: signal and image processing, network security, bioinformatics, and supercomputing

Includes the history of the field as well as recent advances

Includes an extensive bibliography of primary sources


A one-of-a-kind survey of the field of Reconfigurable Computing

Gives a comprehensive introduction to a discipline that offers a 10X-100X ac...

cena: 605,23

 Physicalism in Mathematics A. D. Irvine 9780792305132 Springer
Physicalism in Mathematics

ISBN: 9780792305132 / Angielski / Twarda / 366 str.

ISBN: 9780792305132/Angielski/Twarda/366 str.

Termin realizacji zamówienia: ok. 5-8 dni roboczych.
A. D. Irvine
This collection of papers has its origin in a conference held at the Uni versity of Toronto in June of 1988. The theme of the conference was Physicalism in Mathematics: Recent Work in the Philosophy of Math ematics. At the conference, papers were read by Geoffrey Hellman (Minnesota), Yvon Gauthier (Montreal), Michael Hallett (McGill), Hartry Field (USC), Bob Hale (Lancaster & St Andrew's), Alasdair Urquhart (Toronto) and Penelope Maddy (Irvine). This volume supplements updated versions of six of those papers with contributions by Jim Brown (Toronto), John Bigelow (La Trobe), John Burgess...
This collection of papers has its origin in a conference held at the Uni versity of Toronto in June of 1988. The theme of the conference was Physicali...
cena: 605,23

 Fuzzy Preference Modelling and Multicriteria Decision Support Janos Fodor Marc Roubens J. C. Fodor 9780792331162 Springer
Fuzzy Preference Modelling and Multicriteria Decision Support

ISBN: 9780792331162 / Angielski / Twarda / 256 str.

ISBN: 9780792331162/Angielski/Twarda/256 str.

Termin realizacji zamówienia: ok. 5-8 dni roboczych.
Janos Fodor; Marc Roubens; J. C. Fodor
The encounter, in the late seventies, between the theory of triangular norms, issuing frorn stochastic geornetry, especially the works of Menger, Schweizer and Sklar, on the one band, and the theory of fuzzy sets due to Zadeh, 10n the other band has been very fruitful. Triangular norms have proved to be ready-rnade mathematical rnodels of fuzzy set intersections and have shed light on the algebraic foundations of fuzzy sets. One basic idea behind the study of triangular norms is to solve functional equations that stern frorn prescribed axioms describing algebraic properties such as...
The encounter, in the late seventies, between the theory of triangular norms, issuing frorn stochastic geornetry, especially the works of Menger, Schw...
cena: 605,23

Pierwsza Podprzednia  229  230  231  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-2025 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