» książki » Mathematics - Logic
 |
Algorithmische Sprache Und Programmentwicklung
ISBN: 9783662056554 / Niemiecki / Miękka / 516 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
188,08 |
 |
Einleitung in Die Mengenlehre: Eine Gemeinverständliche Einführung in Das Reich Der Unendlichen Größen
ISBN: 9783662422090 / Niemiecki / Miękka / 158 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Dieser Buchtitel ist Teil des Digitalisierungsprojekts Springer Book Archives mit Publikationen, die seit den Anfangen des Verlags von 1842 erschienen sind. Der Verlag stellt mit diesem Archiv Quellen fur die historische wie auch die disziplingeschichtliche Forschung zur Verfugung, die jeweils im historischen Kontext betrachtet werden mussen. Dieser Titel erschien in der Zeit vor 1945 und wird daher in seiner zeittypischen politisch-ideologischen Ausrichtung vom Verlag nicht beworben."
Dieser Buchtitel ist Teil des Digitalisierungsprojekts Springer Book Archives mit Publikationen, die seit den Anfangen des Verlags von 1842 erschienen...
|
cena:
188,08 |
 |
Theoretische Informatik: Eine Umfassende Einführung
ISBN: 9783662574089 / Niemiecki / Miękka / 499 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Verständlich und gut lesbar: Diese fundierte Einführung eignet sich insbesondere für Anfänger, da sie Beweise im Detail ausführt und insofern auch in die Technik des Beweisens einführt. Zusätzlich stellen die Autoren Nicht-Standard-Berechnungsmodelle vor...
Verständlich und gut lesbar: Diese fundierte Einführung eignet sich insbesondere für Anfänger, da sie Beweise im Detail ausführt und insofern auc...
|
cena:
188,08 |
 |
Mathematik Für Die Informatik: Grundlegende Begriffe, Strukturen Und Ihre Anwendung
ISBN: 9783658333034 / Angielski / Miękka / 499 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
188,08 |
 |
Automata, Languages and Programming: Seventh Colloquium, Noordwijkerhout, the Netherlands, July 14-18, 1980. Proceedings
ISBN: 9783540100034 / Angielski / Miękka / 671 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
189,17 |
 |
Mathematical Foundations of Computer Science 1980: 9th Symposium Held in Rydzyna, Poland, September 1-5, 1980. Proceedings
ISBN: 9783540100270 / Angielski / Miękka / 726 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
189,17 |
 |
Automata, Languages, and Programming: 11th Colloquium, Antwerp, Belgium, July 16-20, 1984 (Eatcs Sign). Proceedings
ISBN: 9783540133452 / Angielski / Miękka / 530 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
189,17 |
 |
Automata, Languages and Programming: 12th Colloquium, Nafplion, Greece, July 15-19, 1985. Proceedings
ISBN: 9783540156505 / Angielski / Miękka / 524 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
189,17 |
 |
Automata, Languages and Programming: 13th International Colloquium, Rennes, France, July 15-19, 1986. Proceedings
ISBN: 9783540167617 / Angielski / Miękka / 476 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
189,17 |
 |
Logic, Mathematics, and Computer Science: Modern Foundations with Practical Applications
ISBN: 9781493937134 / Angielski / Miękka / 391 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
189,17 |
 |
Logics of Programs: Workshop Carnegie Mellon University Pittsburgh, Pa, June 6-8, 1983
ISBN: 9783540128960 / Angielski / Miękka / 531 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
189,17 |
 |
On Cantor and the Transfinite
ISBN: 9781634623278 / Angielski Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
189,34 |
 |
Groups and Symmetry : A Guide to Discovering Mathematics
ISBN: 9780821804506 / Angielski / Miękka / 102 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. In most mathematics textbooks, the most exciting part of mathematics - the process of invention and discovery - is completely hidden from the reader. The aim of Groups and Symmetry is to change that. By means of a series of carefully selected tasks, the book leads readers to discover groups and symmetry. There are no formulas to memorize; no procedures to follow. The book is a guide: its job is to start the reader in the right direction.
In most mathematics textbooks, the most exciting part of mathematics - the process of invention and discovery - is completely hidden from the reader. ...
|
cena:
190,23 |
 |
A True Polymath: A Tribute to Francisco Antonio Doria
ISBN: 9781848903517 / Angielski / Miękka / 438 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
191,04 |
 |
A Lambda Calculus Satellite
ISBN: 9781848904248 / Angielski Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
191,04 |
 |
Proofs and Confirmations: The Story of the Alternating-Sign Matrix Conjecture
ISBN: 9780521666466 / Angielski / Miękka / 292 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This introduction to recent developments in algebraic combinatorics illustrates how research in mathematics actually progresses. The author recounts the dramatic search for and discovery of a proof of a counting formula conjectured in the late 1970s: the number of n x n alternating sign matrices, objects that generalize permutation matrices. While it was apparent that the conjecture must be true, the proof was elusive. As a result, researchers became drawn to this problem and made connections to aspects of the invariant theory of Jacobi, Sylvester, Cayley, MacMahon, Schur, and Young; to...
This introduction to recent developments in algebraic combinatorics illustrates how research in mathematics actually progresses. The author recounts t...
|
cena:
191,14 |
 |
The Little Prover
ISBN: 9780262527958 / Angielski / Miękka / 248 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The Little Prover introduces inductive proofs as a way to determine facts about computer programs. It is written in an approachable, engaging style of question-and-answer, with the characteristic humor of The Little Schemer (fourth edition, MIT Press). Sometimes the best way to learn something is to sit down and do it; the book takes readers through step-by-step examples showing how to write inductive proofs. The Little Prover assumes only knowledge of recursive programs and lists (as presented in the first three chapters of The Little Schemer) and uses only a... The Little Prover introduces inductive proofs as a way to determine facts about computer programs. It is written in an approachable, engagi... |
cena:
191,23 |
 |
Logical Methods
ISBN: 9780262544849 / Angielski / Miękka / 288 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
191,23 |
 |
Basic Category Theory for Computer Scientists
ISBN: 9780262660716 / Angielski / Miękka / 116 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Category theory is a branch of pure mathematics that is becoming an increasingly important tool in theoretical computer science, especially in programming language semantics, domain theory, and concurrency, where it is already a standard language of discourse. Assuming a minimum of mathematical preparation, Basic Category Theory for Computer Scientists provides a straightforward presentation of the basic constructions and terminology of category theory, including limits, functors, natural transformations, adjoints, and cartesian closed categories. Four case studies illustrate applications... Category theory is a branch of pure mathematics that is becoming an increasingly important tool in theoretical computer science, especially in prog... |
cena:
192,03 |
 |
Logical Aspects of Computational Linguistics: 8th International Conference, Lacl 2014, Toulouse, France, June 18-24, 2014. Proceedings
ISBN: 9783662437414 / Angielski / Miękka / 189 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book constitutes the refereed proceedings of the 8th International Conference on Logical Aspects of Computational Linguistics (LACL 2014) held in Toulouse, France, in June 2014. On the broadly syntactic side, there are papers on the logical and computational foundations of context free grammars, pregroup grammars, on the Lambek calculus and on formalizations of aspects of minimalism. There is also a paper on Abstract Categorical Grammar, as well as papers on issues at the syntax/semantics interface....
Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book constitutes the refereed proceedings of the 8th Inte...
|
cena:
193,23 |
Czytaj nas na:
KrainaKsiazek.PL - Księgarnia Internetowa
