21 Ergebnisse für: quantifier
-
The Logical Basis of Metaphysics - Michael Dummett, Professor of Philosophy Michael Dummett - Google Books
http://books.google.de/books?id=lvsVFxK3BPcC
Michael Dummett's new book is the greatly expanded and recently revised version of his distinguished William James Lectures, delivered in 1976. Dummett regards the construction of a satisfactory theory of meaning as the most pressing task of contemporary…
-
The Philosophy of Gottlob Frege - Richard L. Mendelsohn - Google Books
http://books.google.de/books?id=G6_90xFwUbUC
This analysis of Frege's views on language and metaphysics in On Sense and Reference, arguably one of the most important philosophical essays of the past hundred years, provides a thorough introduction to the function/argument analysis and applies Frege's…
-
Computer Algebra Handbook: Foundations, Applications, Systems ; [with CD-ROM] - Johannes Grabmeier, Erich Kaltofen - Google Books
http://books.google.de/books?id=Pnlxei_XfFQC
Two ideas lie gleaming on the jeweler's velvet. The first is the calculus, the sec ond, the algorithm. The calculus and the rich body of mathematical analysis to which it gave rise made modern science possible; but it has been the algorithm that has made…
-
Prof. Dr. Jarich Hoekstra — Deutsch
http://www.isfas.uni-kiel.de/de/frisistik/mitarbeiterinnen-und-mitarbeiter/prof.-dr.-jarich-hoekstra
Keine Beschreibung vorhanden.
-
Heinrich Herre's Homepage
http://www.informatik.uni-leipzig.de/fk/pers/herre.html
Keine Beschreibung vorhanden.
-
Runtastic Orbit: Mein Bullshitarmband und ich | ZEIT ONLINE
http://www.zeit.de/digital/mobil/2014-07/runtastic-orbit-fitness-tracker-test/komplettansicht
Runtastic bringt einen Activity-Tracker namens Orbit auf den Markt. Der zeigt mir an, dass ich noch lebe. Alle weiteren Werte sind nur grobe Schätzungen.
-
PHP: preg_replace - Manual
http://php.net/manual/de/function.preg-replace.php
Keine Beschreibung vorhanden.
-
Extension:Scribunto/Lua reference manual – MediaWiki
https://www.mediawiki.org/wiki/Extension:Scribunto/Lua_reference_manual?uselang=de
Keine Beschreibung vorhanden.
-
PHP: preg_replace - Manual
http://de2.php.net/manual/de/function.preg-replace.php
Keine Beschreibung vorhanden.
-
Franz Baader — Professur für Automatentheorie — TU Dresden
http://lat.inf.tu-dresden.de/~baader/
Informationen zur Lehre Forschungsthemen Wissensrepräsentation (insbesondere Beschreibungslogik und Modallogik) Automatisches Beweisen (inbesondere Termersetzung und …