84 Ergebnisse für: predicate
-
Desu - Google-Suche
http://www.google.de/search?hl=de&q=Desu&btnG=Google-Suche&meta=
Keine Beschreibung vorhanden.
-
-
-
-
Qucosa - SLUB: Syntax der filipinischen Sprache - Palaugnayan ng Wikang Filipino
http://nbn-resolving.de/urn:nbn:de:bsz:14-qucosa-127837
Umfassende Darstellung der Syntax des Filipino (Tagalog) mit mehr als 2000 Sätzen und Phrasen, die authentisch Umgangs- und Schriftsprache des modernen Filipino widerspiegeln. Unter maßgeblicher Beteiligung vieler Muttersprachler
-
Gödel's Theorem in Focus - Google Books
https://books.google.de/books?id=TauDhqe5neIC&lpg=PA85
Beginning with a short biography of Kurt Gödel, 'Gödel's Theorem in Focus' provides the reader with a clear guide to the mechanics of Gödel's proof in a format intelligible to the non-mathematician. The book moves on to explanations of the mechanics of…
-
Sprache als Form. - Michael Bommes, Christina Noack, Utz Maas - Google Books
https://books.google.de/books?id=P6hFwLnHpbcC
Der Titel "Sprache als Form" indiziert eine zentrale Programmatik der wissenschaftlichen Arbeiten von Utz Maas, dem der vorliegende Band zum 60. Geburtstag gewidmet ist. Dieser Titel verweist zugleich auf die damit verbundenen Möglichkeiten der…
-
Algebraic and Coalgebraic Methods in the Mathematics of Program Construction ... - Google Books
http://books.google.de/books?id=11zwnn9_p3MC
Program construction is about turning specifications of computer software into implementations. Recent research aimed at improving the process of program construction exploits insights from abstract algebraic tools such as lattice theory, fixpoint…
-
Practical Foundations of Mathematics - Paul Taylor, Taylor Paul - Google Books
http://books.google.de/books?id=iSCqyNgzamcC
Practical Foundations of Mathematics explains the basis of mathematical reasoning both in pure mathematics itself (algebra and topology in particular) and in computer science. In addition to the formal logic, this volume examines the relationship between…
-
A History of the Japanese Language - Bjarke Frellesvig - Google Books
https://books.google.de/books?id=v1FcAgiAC9IC
Bjarke Frellesvig describes the development of the Japanese language from its recorded beginnings until the present day as reflected by the written sources and historical record. Beginning with a description of the oldest attested stage of the language,…