![]() |
Filosofia Lógica e Matemática: Conferências no Brasil
ISBN: 9781848902633 / Portugalski / Miękka / 240 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
92,79 |
![]() |
The Logica Yearbook 2016
ISBN: 9781848902435 / Angielski / Miękka / 326 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
92,79 |
![]() |
Journal of Applied Logics. The IfCoLog Journal of Logics and their Applications. Volume 8, Issue 1, February 2021. Special issue: Douglas Walton Remembered
ISBN: 9781848903555 / Angielski / Miękka / 330 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
92,79 |
![]() |
Logic, Methodology and Philosophy of Science and Technology. Bridging Across Academic Cultures. Proceedings of the Sixteenth International Congress in
ISBN: 9781848903685 / Angielski Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
92,79 |
![]() |
Logically Speaking. A Festschrift for Marie Duzi
ISBN: 9781848904194 / Angielski Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
92,79 |
![]() |
A Mathematical Primer on Computability
ISBN: 9781848902961 / Angielski / Miękka / 280 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
92,79 |
![]() |
The Mathematical Proof: " The Method and Logic "
ISBN: 9781518863981 / Angielski / Miękka / 228 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. In mathematics, a proof is a deductive argument for a mathematical statement. In the argument, other previously established statements, such as theorems, can be used. In principle, a proof can be traced back to self-evident or assumed statements, known as axioms. Proofs are examples of deductive reasoning and are distinguished from inductive or empirical arguments. A proof must demonstrate that a statement is always true rather than enumerate many confirmatory cases. An unproved proposition that is believed true is known as a conjecture. Proofs employ logic but usually include some amount of...
In mathematics, a proof is a deductive argument for a mathematical statement. In the argument, other previously established statements, such as theore...
|
cena:
92,86 |
![]() |
Logic for Dummies
ISBN: 9781394362349 / Angielski Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
93,01 |
![]() |
Enlightening Symbols: A Short History of Mathematical Notation and Its Hidden Powers
ISBN: 9780691173375 / Angielski / Miękka / 312 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. While all of us regularly use basic math symbols such as those for plus, minus, and equals, few of us know that many of these symbols weren't available before the sixteenth century. What did mathematicians rely on for their work before then? And how did mathematical notations evolve into what we know today? In Enlightening Symbols, popular math writer Joseph Mazur explains the fascinating history behind the development of our mathematical notation system. He shows how symbols were used initially, how one symbol replaced another over time, and how written math was conveyed before and... While all of us regularly use basic math symbols such as those for plus, minus, and equals, few of us know that many of these symbols weren't avail... |
cena:
93,01 |
![]() |
Junktoren Und Quantoren. Baumverfahren. Sequenzenlogik. Dialogspiele. Axiomatik. Natürliches Schließen. Kalkül Der Positiv- Und Negativteile. Spielart
ISBN: 9783540122111 / Niemiecki / Miękka / 230 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
93,88 |
![]() |
Einf?hrung in Das Mathematische Denken: Ein Kompakter Vorkurs
ISBN: 9783662715888 / Niemiecki Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
93,89 |
![]() |
Vom Universum Des Denkens: Eine Geistesgeschichte Der Logik
ISBN: 9783662653128 / Niemiecki / Twarda Termin realizacji zamówienia: ok. 5-8 dni roboczych. Logik ist überall: im vernunftgemäßen Urteil, in der Einsicht, die den Glauben ergänzt, in Sprache und Mathematik, in einer aufgeklärten Ethik und in der Frage nach der Wahrheit und den Grenzen des Wissens. Sie scheint unverzichtbar, selbstverständlich und immer schon da gewesen zu sein, solange Menschen denken. Doch auch die Logik musste erst geschaffen werden – auch sie blickt, wie alle klassischen Wissenschaften, auf ein fünfundzwanzig Jahrhunderte währendes Entstehen zurück, und viele der größten Geister haben an ihr gebaut. Davon berichtet dieses Buch. Logik ist überall: im vernunftgemäßen Urteil, in der Einsicht, die den Glauben ergänzt, in Sprache und Mathematik, in einer aufgeklärten Ethik... |
cena:
94,04 |
![]() |
Risse Im Fundament: Cantor, G?del Und Die Suche Nach Der Mathematischen Wahrheit
ISBN: 9783662715475 / Niemiecki Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
94,04 |
![]() |
Das Affenpuzzle Und Weitere Bad News Aus Der Computerwelt: Und Weitere Bad News Aus Der Computerwelt
ISBN: 9783642626784 / Niemiecki / Miękka / 207 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Konnen Computer alles? Wenn es so ware, gabe es dieses Buch nicht. Es beweist bestechend logisch, dass selbst die grossten, schnellsten, intelligentesten und teuersten Computer der Welt nur beschrankt leistungsfahig sind. Der Mensch kann noch so viel Geld, Zeit und Know-how investieren, es gibt Computer-Probleme, die er niemals losen wird. Eine beunruhigende, provokative Botschaft - und doch: wussten wir es nicht eigentlich schon, haben es aber nie wirklich glauben wollen? Der bekannte Computer-Wissenschaftler David Harel vermittelt die mathematischen Fakten spannend, unterhaltsam und...
Konnen Computer alles? Wenn es so ware, gabe es dieses Buch nicht. Es beweist bestechend logisch, dass selbst die grossten, schnellsten, intelligentes...
|
cena:
94,04 |
![]() |
Before Sudoku: The World of Magic Squares
ISBN: 9780195367904 / Angielski / Miękka / 256 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Sudoku has become a vastly popular and even addictive game. But fans may not know that Sudoku is a recent offshoot of the venerable Magic Square, which dates back over 4,000 years to ancient China, where it was literally considered magical. Indeed, Magic Squares have fascinated centuries of mystics, astrologers, and some of the world's most brilliant thinkers, including Ben Franklin.
In Before Sudokus, Seymour Block and Santiago Tavares offer a crystal clear and engaging tour of Magic Squares, tracing their footsteps through through ancient and medieval history and illuminating... Sudoku has become a vastly popular and even addictive game. But fans may not know that Sudoku is a recent offshoot of the venerable Magic Square, whic...
|
cena:
94,42 |
![]() |
The Essential George Boole: Logic, Love and Legacy
ISBN: 9781781178409 / Angielski Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
94,91 |
![]() |
Tbilisi Mathematical Journal. Volume 1 (2008)
ISBN: 9781904987475 / Angielski / Miękka / 212 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Tbilisi Mathematical Journal (TMJ) is a fully refereed international journal, publishing original research papers in all areas of mathematics. Papers should satisfy the high standards and only works of high quality will be recommended for publication. The Management Committee may occasionally decide to invite the submission of survey and expository papers of the highest quality. Unsolicited submissions of survey and expository papers will not be considered for publication. Volume 1 (2008) contains eight research papers by outstanding mathematicians in areas ranging from functional analysis to...
Tbilisi Mathematical Journal (TMJ) is a fully refereed international journal, publishing original research papers in all areas of mathematics. Papers ...
|
cena:
94,95 |
![]() |
Introducao Ao Calculo Lambda
ISBN: 9781848900844 / Portugalski / Miękka / 186 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. O calculo lambda e um dos pilares da ciencia da computacao. Para alem do seu papel historico em teoria da computabilidade, teve influencia significativa no desenho e implementacao de linguagens de programacao, em semantica denotacional, e em teoria de dominios. O livro da enfase a teoria da demonstracao do calculo lambda sem tipos. Os primeiros capitulos concentram-se neste calculo e abordam a teoria basica, reducoes, modelos, computabilidade e o relacionamento entre o calculo lambda e a logica combinatoria. O Capitulo 7 introduz o calculo lambda com tipos: primeiro o calculo lambda...
O calculo lambda e um dos pilares da ciencia da computacao. Para alem do seu papel historico em teoria da computabilidade, teve influencia significati...
|
cena:
94,95 |
![]() |
El fundamento y sus límites
ISBN: 9781848902107 / Hiszpański / Miękka / 330 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Este libro esboza una teoria sobre el fundamento y sus limites, y trata dificultades de los fundamentos del saber, tarea aparentemente infinita. Casi todos sus autores trabajan en la Universidad Nacional del Sur (Bahia Blanca, Argentina). Susana R. Barbosa explora defectos de constitucion de la metafisica y la critica que hace de ella Max Horkheimer. Gustavo Bodanza caracteriza las nociones de fundamento suficiente e insuficiente en terminos pragmaticos respecto de una comunidad y un tiempo. Marianela Calleja considera la analogia como regla de fundamentacion imperfecta y su status en el...
Este libro esboza una teoria sobre el fundamento y sus limites, y trata dificultades de los fundamentos del saber, tarea aparentemente infinita. Casi ...
|
cena:
94,95 |
![]() |
Elementary Logic with Applications: A Procedural Perspective for Computer Scientists
ISBN: 9781848902251 / Angielski / Miękka / 364 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Elementary Logic with Applications is written for undergraduate logic and logic Elementary Logic with Applications is written for undergraduate logic and logic |
cena:
94,95 |