Home > Tags: logik (Total 5 Records)
Zur Logik der Logik-Programmierung: Ein konstruktiver Ansatz (Informatik-Fachberichte) (German Edition) [German]
Programming By:Clemens Beckstein 1988-01-01 00:00:00
![Zur_Logik_der_Logik-Programmierung_Ein_konstruktiver_Ansatz_(Informatik-Fachberichte)_(German_Edition)_[German]](http://www.freebookspot.es/./upload/Programming/Zur_Logik_der_Logik-Programmie_6_16_2016_12_17_06_AM.jpg)
ISBN10:3540507205 ISBN13:9783540507208
Thema der Arbeit ist das zentrale Problem logischer Programmiersprachen: ein optimales Gleichgewicht zwischen sprachlicher Ausdruckskraft und effizienter Realisierbarkeit eines entsprechenden Beweissystems zu finden. Nach einer Zusammenstellung der fur das Verstandnis der Arbeit notigen logischen Gr prolog zugrundeliegenden logik, programmierung ein konstruktiver, bedenklichen prolog konstrukte, reason maintenance, zusammenstellung der fur
Automatentheorie und Logik [German]
Algorithms By:Martin Hofmann 2011-03-15 00:00:00
![Automatentheorie_und_Logik_[German]](http://www.freebookspot.es/./upload/Algorithms/Automatentheorie_und_Logik_[Ge_11_3_2014_1_06_27_PM.jpeg)
ISBN10:3642180892 ISBN13:9783642180897
Das Buch beschaftigt sich mit der Theorie endlicher Automaten und den klassischen Resultaten wie den Satzen von Richard Buchi und Michael Rabin. Die vier Teile des Buchs sind den unterschiedlichen Strukturen gewidmet: endliche Worter, Baume, endliche und unendliche Baume. Jeder Teil endet mit Ubungs automatentheorie und logik, theorie endlicher automaten, formaler sprachen
Tags: logik
Berechenbarkeit: Logik, Argumentation, Rechner und Assembler, Unendlichkeit, Grenzen der Automatisierbarkeit Lehrbuch fuer Unterricht und Selbststudium [German]
Computer Science By:Juraj Hromkovic 2011-01-13 00:00:00
ISBN10:3834815098 ISBN13:9783834815095
Die Bildung der grundlegenden Begriffe und Konzepte der Informatik und der Mathematik wie Programm, Algorithmus, Beweis und Argumentation, Unendlichkeit und die Grenzen der Automatisierbarkeit werden ohne Vorwissen des Lesers in der Informatik in kleinen Schritten vermittelt. berechenbarkeit logik argumentation, lehrbuch fuer unterricht, unterricht und selbststudium, argumentation unendlichkeit, grenzen der automatisierbarkeit
Tags: assembler argumentation der rechner lehrbuch logik unterricht selbststudium unendlichkeit grenzen
Logikkalkule in der Informatik: Wie wird Logik vom Rechner genutzt? [German]
Algorithms By:Michael Schenke 2014-01-10 00:00:00
![Logikkalkule_in_der_Informatik_Wie_wird_Logik_vom_Rechner_genutzt_[German]](http://www.freebookspot.es/./upload/Algorithms/Logikkalkule_in_der_Informatik_1_19_2014_6_54_50_PM.jpg)
ISBN10:3834818879 ISBN13:9783834818874
Im Mittelpunkt steht das Spannungsverhaltnis zwischen einerseits dem herkommlichen Logikansatz mit Begriffen wie Signatur, Struktur, Wahrheitswert und andererseits dem eher dynamisch ausgerichteten Begriff des Kalkuls, also zwischen Semantik und Syntax. Wie dieser Graben uberwunden wird, wird fur ve logikansatz mit begriffen, enthalt einen einheitlichen, fur
Tags: der informatik wie wird rechner vom logik logikkalkule genutzt
Logik fur Informatiker (Sav Informatik) (German Edition)
Computer Science By:Uwe Schoning 2000-01-20 00:00:00
ISBN10:3827410053 ISBN13:9783827410054
Das Buch macht den Leser mit den wesentlichen Teilgebieten der formalen Logik vertraut, die Bestandteil der Ausbildung in Theoretischer Informatik sind. Die Darstellung orientiert sich an den Bedurfnissen von Informatikstudierenden. Insbesondere werden viele mehr auf das Prinzipielle ausgerichtete R sav informatik, fur informatiker, lernstoffes.logik fur informatiker, german edition)das buch, theoretischer informatik
Tags: fur informatik logik informatiker sav
