• Wyszukiwanie zaawansowane
  • Kategorie
  • Kategorie BISAC
  • Książki na zamówienie
  • Promocje
  • Granty
  • 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
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
 [2209328]
• Literatura piękna
 [1420305]

  więcej...
• Turystyka
 [65047]
• Informatyka
 [136808]
• Komiksy
 [24444]
• Encyklopedie
 [23572]
• Dziecięca
 [459540]
• Hobby
 [95795]
• AudioBooki
 [6996]
• Literatura faktu
 [211526]
• Muzyka CD
 [6346]
• Słowniki
 [2165]
• Inne
 [387198]
• Kalendarze
 [248]
• Podręczniki
 [92335]
• Poradniki
 [416436]
• Religia
 [398049]
• Czasopisma
 [494]
• Sport
 [52451]
• Sztuka
 [190255]
• CD, DVD, Video
 [966]
• Technologie
 [152939]
• Zdrowie
 [79532]
• Książkowe Klimaty
 [60]
• Puzzle, gry
 [2482]
• Large Print
 [22709]
Kategorie szczegółowe BISAC

Kategoria BISAC: Mathematics >> Logic

ilość książek w kategorii: 3940

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


 Schaum's Easy Outline Logic: Based on Schaum's Outline of Theory and Problems of Logic John Nolt Dennis Rohatyn Achille C. Varzi 9780071455350
Schaum's Easy Outline Logic: Based on Schaum's Outline of Theory and Problems of Logic

ISBN: 9780071455350 / Angielski / Miękka / 150 str.

ISBN: 9780071455350/Angielski/Miękka/150 str.

Termin realizacji zamówienia: ok. 5-8 dni roboczych.
John Nolt; Dennis Rohatyn; Achille C. Varzi

For a quick nuts-and-bolts overview of logic, there's no book that does it better

Pared-down, simplified, and tightly focused, "Schaum's Easy Outline of Logic" is perfect for anyone turned off by dense text. Cartoons, sidebars, icons, and other graphic pointers get the material across fast, and concise text focuses on the essence of logic. This is the ideal book for last-minute test preparation.

For a quick nuts-and-bolts overview of logic, there's no book that does it better

Pared-down, simplified, and tightly focused, "Schaum's Easy Ou...


    
cena: 60,88 zł

 Symbolic Logic and Mechanical Theorem Proving Chin-Liang Chang Richard C. Lee 9780121703509
Symbolic Logic and Mechanical Theorem Proving

ISBN: 9780121703509 / Angielski / Twarda / 331 str.

ISBN: 9780121703509/Angielski/Twarda/331 str.

Termin realizacji zamówienia: ok. 5-8 dni roboczych.
Chin-Liang Chang; Richard C. Lee
This book contains an introduction to symbolic logic and a thorough discussion of mechanical theorem proving and its applications. The book consists of three major parts. Chapters 2 and 3 constitute an introduction to symbolic logic. Chapters 4-9 introduce several techniques in mechanical theorem proving, and Chapters 10 an 11 show how theorem proving can be applied to various areas such as question answering, problem solving, program analysis, and program synthesis.
This book contains an introduction to symbolic logic and a thorough discussion of mechanical theorem proving and its applications. The book consists o...

    
cena: 293,88 zł

 Computability, Complexity, and Languages: Fundamentals of Theoretical Computer Science Martin Davis Ron Sigal Elaine J. Weyuker 9780122063824
Computability, Complexity, and Languages: Fundamentals of Theoretical Computer Science

ISBN: 9780122063824 / Angielski / Twarda / 609 str.

ISBN: 9780122063824/Angielski/Twarda/609 str.

Termin realizacji zamówienia: ok. 5-8 dni roboczych.
Martin Davis; Ron Sigal; Elaine J. Weyuker
Computability, Complexity, and Languages is an introductory text that covers the key areas of computer science, including recursive function theory, formal languages, and automata. It assumes a minimal background in formal mathematics. The book is divided into five parts: Computability, Grammars and Automata, Logic, Complexity, and Unsolvability.

  • Computability theory is introduced in a manner that makes maximum use of previous programming experience, including a "universal" program that takes up less than a page.
  • The number of exercises included has more than...
Computability, Complexity, and Languages is an introductory text that covers the key areas of computer science, including recursive function th...

    
cena: 293,88 zł

 Fuzzy Sets and Systems : Theory and Applications Didier DuBois Henri Prade Henri Prade 9780122227509
Fuzzy Sets and Systems : Theory and Applications

ISBN: 9780122227509 / Angielski / Twarda / 393 str.

ISBN: 9780122227509/Angielski/Twarda/393 str.

Termin realizacji zamówienia: ok. 5-8 dni roboczych.
Didier DuBois; Henri Prade; Henri Prade

    
cena: 277,25 zł

 Elements of Set Theory Herbert B. Enderton 9780122384400
Elements of Set Theory

ISBN: 9780122384400 / Angielski / Twarda / 279 str.

ISBN: 9780122384400/Angielski/Twarda/279 str.

Termin realizacji zamówienia: ok. 5-8 dni roboczych.
Herbert B. Enderton
This is an introductory undergraduate textbook in set theory. In mathematics these days, essentially everything is a set. Some knowledge of set theory is necessary part of the background everyone needs for further study of mathematics. It is also possible to study set theory for its own interest--it is a subject with intruiging results anout simple objects. This book starts with material that nobody can do without. There is no end to what can be learned of set theory, but here is a beginning.
This is an introductory undergraduate textbook in set theory. In mathematics these days, essentially everything is a set. Some knowledge of set theory...

    
cena: 316,07 zł

 Discovering Higher Mathematics : Four Habits of Highly Effective Mathematicians Alan Levine 9780124454606
Discovering Higher Mathematics : Four Habits of Highly Effective Mathematicians

ISBN: 9780124454606 / Angielski / Twarda / 174 str.

ISBN: 9780124454606/Angielski/Twarda/174 str.

Termin realizacji zamówienia: ok. 5-8 dni roboczych.
Alan Levine
Funded by a National Science Foundation grant, Discovering Higher Mathematics emphasizes four main themes that are essential components of higher mathematics: experimentation, conjecture, proof, and generalization. The text is intended for use in bridge or transition courses designed to prepare students for the abstraction of higher mathematics. Students in these courses have normally completed the calculus sequence and are planning to take advanced mathematics courses such as algebra, analysis and topology. The transition course is taken to prepare students for these courses by...
Funded by a National Science Foundation grant, Discovering Higher Mathematics emphasizes four main themes that are essential components of high...

    
cena: 891,39 zł

 Elementary Logic Benson Mates 9780195014914
Elementary Logic

ISBN: 9780195014914 / Angielski / Twarda / 256 str.

ISBN: 9780195014914/Angielski/Twarda/256 str.

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

    
cena: 825,76 zł

 Kurt Goedel: Collected Works: Volume I : Publications 1929-1936 Kurt Godel Solomon Feferman John W. Dawson 9780195039641
Kurt Goedel: Collected Works: Volume I : Publications 1929-1936

ISBN: 9780195039641 / Angielski / Twarda / 490 str.

ISBN: 9780195039641/Angielski/Twarda/490 str.

Termin realizacji zamówienia: ok. 5-8 dni roboczych.
Kurt Godel; Solomon Feferman; John W. Dawson
Kurt Godel (1906-1978) was the most outstanding logician of the twentieth century, noted for Godel's theorem, a hallmark of modern mathematics. The Collected Works will include both published and unpublished writings, in three or more volumes. The first two volumes will consist essentially of Godel's published works (both in the original and translation), and the third volume will feature unpublished articles, lectures, and selections from his lecture courses, correspondence, and scientific notebooks. All volumes will contain extensive introductory notes to the work as a whole and to...
Kurt Godel (1906-1978) was the most outstanding logician of the twentieth century, noted for Godel's theorem, a hallmark of modern mathematics. The

    
cena: 1940,38 zł

 Kurt Goedel: Collected Works: Volume II : Publications 1938-1974 Kurt Godel Stephen C. Kleene Solomon Feferman 9780195039726
Kurt Goedel: Collected Works: Volume II : Publications 1938-1974

ISBN: 9780195039726 / Angielski / Twarda / 432 str.

ISBN: 9780195039726/Angielski/Twarda/432 str.

Termin realizacji zamówienia: ok. 5-8 dni roboczych.
Kurt Godel; Stephen C. Kleene; Solomon Feferman
Kurt Godel was the most outstanding logician of the twentieth century, famous for his work on the completeness of logic, the incompleteness of number theory, and the consistency of the axiom of choice and the continuum hypothesis. He is also noted for his work on constructivity, the decision problem, and the foundations of computation theory, as well as for the strong individuality of his writings on the philosophy of mathematics. Less well-known is his discovery of unusual cosmological models for Einstein's equations, permitting "time-travel" into the past.
This second volume of a...
Kurt Godel was the most outstanding logician of the twentieth century, famous for his work on the completeness of logic, the incompleteness of number ...

    
cena: 1940,38 zł

 Introduction to Logic and to the Methodology of Deductive Sciences Jan Tarski Alfred Tarski 9780195044720
Introduction to Logic and to the Methodology of Deductive Sciences

ISBN: 9780195044720 / Angielski / Twarda / 256 str.

ISBN: 9780195044720/Angielski/Twarda/256 str.

Termin realizacji zamówienia: ok. 5-8 dni roboczych.
Jan Tarski; Alfred Tarski
Now in its fourth edition, this classic work clearly and concisely introduces the subject of logic and its applications. The first part of the book explains the basic concepts and principles which make up the elements of logic. The author demonstrates that these ideas are found in all branches of mathematics, and that logical laws are constantly applied in mathematical reasoning. The second part of the book shows the applications of logic in mathematical theory building with concrete examples that draw upon the concepts and principles presented in the first section. Numerous exercises and an...
Now in its fourth edition, this classic work clearly and concisely introduces the subject of logic and its applications. The first part of the book ex...

    
cena: 1940,38 zł

 Kurt Goedel: Collected Works: Volume III : Unpublished Essays and Lectures Kurt Godel Solomon Feferman Charles D. Parsons 9780195072556
Kurt Goedel: Collected Works: Volume III : Unpublished Essays and Lectures

ISBN: 9780195072556 / Angielski / Twarda / 560 str.

ISBN: 9780195072556/Angielski/Twarda/560 str.

Termin realizacji zamówienia: ok. 5-8 dni roboczych.
Kurt Godel; Solomon Feferman; Charles D. Parsons
Kurt Godel (1906-1978) was the most outstanding logician of the twentieth century, famous for his hallmark works on the completeness of logic, the incompleteness of number theory and stronger systems, and the consistency of the axiom of choice and the continuum hypothesis. He is also noted for his work on constructivity, the decision problem, the foundations of computation theory, unusual cosmological models, and for the strong individuality of his writings on the philosophy of mathematics. The Collected Works is a landmark resource that draws together a lifetime of creative...
Kurt Godel (1906-1978) was the most outstanding logician of the twentieth century, famous for his hallmark works on the completeness of logic, the inc...

    
cena: 2169,85 zł

 
Recursion Theory for Metamathematics

ISBN: 9780195082326 / Angielski / Twarda / 184 str.

ISBN: 9780195082326/Angielski/Twarda/184 str.

Termin realizacji zamówienia: ok. 5-8 dni roboczych.
Raymond M. Smullyan
This work is a sequel to the author's Godel's Incompleteness Theorems, though it can be read independently by anyone familiar with Godel's incompleteness theorem for Peano arithmetic. The book deals mainly with those aspects of recursion theory that have applications to the metamathematics of incompleteness, undecidability, and related topics. It is both an introduction to the theory and a presentation of new results in the field.

This work is a sequel to the author's Godel's Incompleteness Theorems, though it can be read independently by anyone familiar with Godel's in...

    
cena: 1284,76 zł

 Logical Reasoning with Diagrams Barwise Allwein Gerard Allwein Jon Barwise 9780195104271
Logical Reasoning with Diagrams

ISBN: 9780195104271 / Angielski / Twarda / 288 str.

ISBN: 9780195104271/Angielski/Twarda/288 str.

Termin realizacji zamówienia: ok. 5-8 dni roboczych.
Barwise Allwein; Gerard Allwein; Jon Barwise
One effect of information technology is the increasing need to present information visually. The trend raises intriguing questions. What is the logical status of reasoning that employs visualization? What are the cognitive advantages and pitfalls of this reasoning? What kinds of tools can be developed to aid in the use of visual representation? This newest volume on the Studies in Logic and Computation series addresses the logical aspects of the visualization of information. The authors of these specially commissioned papers explore the properties of diagrams, charts, and maps, and...
One effect of information technology is the increasing need to present information visually. The trend raises intriguing questions. What is the logica...

    
cena: 1612,57 zł

 The Moment of Proof : Mathematical Epiphanies Donald C. Benson 9780195139198
The Moment of Proof : Mathematical Epiphanies

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

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

Termin realizacji zamówienia: ok. 5-8 dni roboczych.
Donald C. Benson
When Archimedes, while bathing, suddenly hit upon the principle of buoyancy, he ran wildly through the streets of Syracuse, stark naked, crying "eureka " In The Moment of Proof, Donald Benson attempts to convey to general readers the feeling of eureka--the joy of discovery--that mathematicians feel when they first encounter an elegant proof.
This is not an introduction to mathematics so much as an introduction to the pleasures of mathematical thinking. And indeed the delights of this book are many and varied. The book is packed with intriguing conundrums--Loyd's Fifteen Puzzle, the...
When Archimedes, while bathing, suddenly hit upon the principle of buoyancy, he ran wildly through the streets of Syracuse, stark naked, crying "eurek...

    
cena: 311,36 zł

 Mathematics and the Roots of Postmodern Thought Vladimir Tasic 9780195139679
Mathematics and the Roots of Postmodern Thought

ISBN: 9780195139679 / Angielski / Twarda / 200 str.

ISBN: 9780195139679/Angielski/Twarda/200 str.

Termin realizacji zamówienia: ok. 5-8 dni roboczych.
Vladimir Tasic
This is a charming and insightful contribution to an understanding of the "Science Wars" between postmodernist humanism and science, driving toward a resolution of the mutual misunderstanding that has driven the controversy. It traces the root of postmodern theory to a debate on the foundations of mathematics early in the 20th century, then compares developments in mathematics to what took place in the arts and humanities, discussing issues as diverse as literary theory, arts, and artificial intelligence. This is a straightforward, easily understood presentation of what can be difficult...
This is a charming and insightful contribution to an understanding of the "Science Wars" between postmodernist humanism and science, driving toward a ...

    
cena: 241,63 zł

 The Indispensability of Mathematics Mark Colyvan 9780195166613
The Indispensability of Mathematics

ISBN: 9780195166613 / Angielski / Miękka / 192 str.

ISBN: 9780195166613/Angielski/Miękka/192 str.

Termin realizacji zamówienia: ok. 5-8 dni roboczych.
Mark Colyvan
The Quine-Putnam indispensability argument in the philosophy of mathematics urges us to place mathematical entities on the same ontological footing as other theoretical entities essential to our best scientific theories. Recently, the argument has come under serious scrutiny, with many influential philosophers unconvinced of its cogency. This book not only outlines the indispensability argument in considerable detail but also defends it against various challenges.

The Quine-Putnam indispensability argument in the philosophy of mathematics urges us to place mathematical entities on the same ontological footing as...

    
cena: 458,68 zł

 Computational Complexity and Statistical Physics Allan Percus Gabriel Istrate Cristopher Moore 9780195177374
Computational Complexity and Statistical Physics

ISBN: 9780195177374 / Angielski / Twarda / 384 str.

ISBN: 9780195177374/Angielski/Twarda/384 str.

Termin realizacji zamówienia: ok. 5-8 dni roboczych.
Allan Percus; Gabriel Istrate; Cristopher Moore
Computer science and physics have been closely linked since the birth of modern computing. In recent years, an interdisciplinary area has blossomed at the junction of these fields, connecting insights from statistical physics with basic computational challenges. Researchers have successfully applied techniques from the study of phase transitions to analyze NP-complete problems such as satisfiability and graph coloring. This is leading to a new understanding of the structure of these problems, and of how algorithms perform on them.

Computational Complexity and Statistical Physics...

Computer science and physics have been closely linked since the birth of modern computing. In recent years, an interdisciplinary area has blossomed at...

    
cena: 1383,10 zł

 Mathematics as a Science of Patterns Michael D. Resnik 9780198236085
Mathematics as a Science of Patterns

ISBN: 9780198236085 / Angielski / Twarda / 304 str.

ISBN: 9780198236085/Angielski/Twarda/304 str.

Termin realizacji zamówienia: ok. 5-8 dni roboczych.
Michael D. Resnik
This book expounds a system of ideas about the nature of mathematics which Michael Resnik has been elaborating for a number of years. In calling mathematics a science he implies that it has a factual subject-matter and that mathematical knowledge is on a par with other scientific knowledge; in calling it a science of patterns he expresses his commitment to a structuralist philosophy of mathematics. He links this to a defense of realism about the metaphysics of mathematics--the view that mathematics is about things that really exist.

This book expounds a system of ideas about the nature of mathematics which Michael Resnik has been elaborating for a number of years. In calling mathe...

    
cena: 367,48 zł

 Definition Richard Robinson 9780198241607
Definition

ISBN: 9780198241607 / Angielski / Twarda / 216 str.

ISBN: 9780198241607/Angielski/Twarda/216 str.

Termin realizacji zamówienia: ok. 5-8 dni roboczych.
Richard Robinson
The purpose of this book is to clarify the concept of definition and improve defining activities.

The purpose of this book is to clarify the concept of definition and improve defining activities.


    
cena: 716,27 zł

 Polish Logic 1920-1939 Storrs McCall B. Grushman Tadeusz Kotarbinski 9780198243045
Polish Logic 1920-1939

ISBN: 9780198243045 / Angielski / Twarda / 420 str.

ISBN: 9780198243045/Angielski/Twarda/420 str.

Termin realizacji zamówienia: ok. 5-8 dni roboczych.
Storrs McCall; B. Grushman; Tadeusz Kotarbinski
Polish Logic 1920-1939
Polish Logic 1920-1939

    
cena: 871,97 zł

 1  2  3  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
  • kontakt
  • pomoc
  • opinie
  • regulamin
  • polityka prywatności

Zobacz:

  • Księgarnia czeska

  • Wydawnictwo Książkowe Klimaty

1997-2022 DolnySlask.com Agencja Internetowa

© 1997-2021 DolnySlask.com Agencja Internetowa
Wtyczki do przeglądarki Firefox i IE:
Autor | ISBN13 | Tytuł
KONTAKT | REGULAMIN | POLITYKA 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