2,139 Ergebnisse für: logic
-
The Puzzler's Dilemma: From the Lighthouse of Alexandria to Monty Hall, a ... - Derrick Niederman - Google Books
https://books.google.de/books?id=RvhGaqZ_oNUC&pg=PT138&dq=%22potato+paradox%22&hl=en&sa=X&ved=0ahUKEwjZ4I6Z6_3SAhUEOpoKHWyJA_YQ6
Calling all puzzlers... From mathematics to word puzzles, from logic to lateral thinking, veteran puzzle maker Derrick Niederman delights in tackling the trickiest brainteasers in a new way. Among the old chestnuts he cracks wide open are the following…
-
predelegation nuclear - Google-Suche
http://www.google.de/search?q=predelegation+nuclear
Keine Beschreibung vorhanden.
-
-
MOSFET-Übersicht – Mikrocontroller.net
http://www.mikrocontroller.net/articles/MOSFET-%C3%9Cbersicht#MOSFET-Treiber
Keine Beschreibung vorhanden.
-
Structural Proof Theory - Sara Negri, Jan von Plato, Aarne Ranta - Google Books
https://books.google.de/books?id=ZvACGkn9138C&printsec=frontcover&dq=negri+plato+structural+proof+theory&hl=de&sa=X&ved=0ahUKEwj
Structural proof theory is a branch of logic that studies the general structure and properties of logical and mathematical proofs. This book is both a concise introduction to the central results and methods of structural proof theory, and a work of…
-
Nachrichtentechnik.co.de - Ihr Nachrichtentechnik Shop
http://www.nachrichtentechnik.co.de
Stellgeräte für die Prozeßautomatisierung, Elektronik 2. Bauelemente, VOIP - Kernqualifikationen, Übungen zur Nachrichtenübertragung, Lichttechnische Einrichtungen an Kraffahrzeugen und deren Anhängern,
-
fatlogic - Google-Suche
https://www.google.com/search?tbm=bks&q=fatlogic
Keine Beschreibung vorhanden.
-
Getriebemotoren Ansteuerung – RN-Wissen.de
http://rn-wissen.de/index.php/Getriebemotoren_Ansteuerung
Keine Beschreibung vorhanden.
-
Logic's Lost Genius: The Life of Gerhard Gentzen - Eckart Menzler-Trott - Google Books
http://books.google.de/books?id=iXWGKlLTkqoC&pg=PA95&lpg=PA95&dq=Glivenko+Kiev&source=web&ots=vljj7rESRK&sig=BMtpXnlEmTnwiIiDxYj
Gerhard Gentzen (1909-1945) is the founder of modern structural proof theory. His lasting methods, rules, and structures resulted not only in the technical mathematical discipline called ''proof theory'' but also in verification programs that are essential…
-
Rudiments of Calculus - Google Books
https://books.google.de/books?id=MkWZaiECJvQC&dq=Lemma+von+Arden&hl=de&source=gbs_navlinks_s
This book presents what in our opinion constitutes the basis of the theory of the mu-calculus, considered as an algebraic system rather than a logic. We have wished to present the subject in a unified way, and in a form as general as possible. Therefore,…