topmenu
Wyniki wyszukiwania:
wyszukanych pozycji: 6
 |
Aussagenlogik: Deduktion Und Algorithmen: Deduktion Und Algorithmen
ISBN: 9783519021339 / Niemiecki / Miękka / 1994 / 448 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Bez gwarancji dostawy przed świętami) Die Ausgangsbasis fiir die Erstellung dieses Buches waren Vorlesungen iiber Grundlagen wissensbasierter Systeme und iiber Deduktionssysteme. Ein zen trales Thema dieser Veranstaltungen ist die Frage, inwieweit und mit wel chen Verfahren man entscheiden kann, ob aus einem Ausdruck ein anderer Ausdruck folgt. Flir die Pradikatenlogik und deren Teilklassen tritt diese Problemstellung z.B. in der Logik-Programmierung, dem automatischen Be weisen, in Inferenzkomponenten wissensbasierter Systeme und - aquivalent formuliert - als Erfiillbarkeitsproblem auf. Es hat sich dabei herausgestellt, daB...
Die Ausgangsbasis fiir die Erstellung dieses Buches waren Vorlesungen iiber Grundlagen wissensbasierter Systeme und iiber Deduktionssysteme. Ein zen t...
|
cena:
245,09 |
 |
PROLOG: Grundlagen Und Anwendungen
ISBN: 9783519124849 / Niemiecki / Miękka / 1988 / 311 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Bez gwarancji dostawy przed świętami) Die Programmiersprache PROLOG hat in den letzten Jahren, nicht zuletzt durch zahl reiche Anwendungen im Bereich der Expertensysteme und der natiirlichsprachlichen Ver arbeitung, immer mehr an Bedeutung gewonnen. Gegeniiber prozeduralen Programmier sprachen, wie z.B. Pascal, in denen Verfahren zur Losung eines Problems programmiert werden miissen, besteht Programmieren in PROLOG im Prinzip aus einer Beschreibung des Problems. Daraus ergeben sich natiirlich ganz andere Methoden und Schwierigkeiten beim Entwurf eines Prograrnms. Dieses Buch ist aus Vorlesungen an der Universitiit Karlsruhe...
Die Programmiersprache PROLOG hat in den letzten Jahren, nicht zuletzt durch zahl reiche Anwendungen im Bereich der Expertensysteme und der natiirlich...
|
cena:
226,25 |
 |
Theory and Applications of Satisfiability Testing - SAT 2008: 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008, Proceedings
ISBN: 9783540797180 / Angielski / Miękka / 2008 / 305 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Bez gwarancji dostawy przed świętami) This volume contains the papers presented at the 11th International Conference on Theory and Applications of Satis?ability Testing (SAT 2008). The series of International Conferences on Theory and Applications of S- is?ability Testing (SAT) has evolved from a ?rst workshop on SAT in 1996 to an annual international conference which is a platform for researchers studying various aspects of the propositional satis?ability problem and its applications. In the past, the SAT conference venue alternated between Europe and North America. For the ?rst time, the conference venue was in Asia, more...
This volume contains the papers presented at the 11th International Conference on Theory and Applications of Satis?ability Testing (SAT 2008). The ser...
|
cena:
201,72 |
 |
Modellierung
ISBN: 9783446469426 / Niemiecki / Twarda / 2021 / 308 str. Termin realizacji zamówienia: ok. 10-14 dni roboczych (Bez gwarancji dostawy przed świętami) Die Grundlagen der Modellierung beherrschen!Die Modellierung ist eine typische Arbeitsmethode in der Informatik: Aufgaben, Probleme oder Strukturen werden untersucht und formal beschrieben. Erst danach werden sie durch den Entwurf von Software, Algorithmen, Daten oder Hardware gelöst bzw. implementiert. Zur Anwendung der Modellierung steht ein breites Spektrum von Kalkülen und Notationen zur Verfügung. Dieses Buch soll eine Übersicht über die wichtigsten Kalküle der Informatik und ein grundlegendes Verständnis für diese vermitteln. Anhand von vielen praktischen Beispielen lernen Sie...
Die Grundlagen der Modellierung beherrschen!Die Modellierung ist eine typische Arbeitsmethode in der Informatik: Aufgaben, Probleme oder Strukturen we...
|
cena:
141,18 |
 |
CSL '89: 3rd Workshop on Computer Science Logic. Kaiserslautern, FRG, October 2-6, 1989. Proceedings
ISBN: 9783540527534 / Angielski / Miękka / 1990 / 444 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Bez gwarancji dostawy przed świętami) This volume contains the revised versions of 28 papers presented at the 3rd Workshop on Computer Science Logic, held in Kaiserslautern, West Germany in October 1989. These proceedings cover a wide range of topics both from theoretical and applied areas of computer science. More specifically, the papers deal with problems arising at the border of logic and computer science: complexity, data base theory, logic programming, artificial intelligence and temporal logic.
This volume contains the revised versions of 28 papers presented at the 3rd Workshop on Computer Science Logic, held in Kaiserslautern, West Germany i...
|
cena:
201,72 |
 |
PROLOG
ISBN: 9783519024842 / Niemiecki / Miękka / 1986 / 305 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Bez gwarancji dostawy przed świętami) Die Programmiersprache PROLOG hat in den letzten Jahren, nicht zuletzt durch zahl reiche Anwendungen im Bereich der Expertensysteme und der naturlichsprachlichen Ver arbeitung, immer mehr an Bedeutung gewonnen. Gegenuber prozeduralen Programmier sprachen, wie z.B. Pascal, in denen Verfahren zur Losung eines Problems programmiert werden mussen, besteht Programmieren in PROLOG im Prinzip aus einer Beschreibung des Problems. Daraus ergeben sich naturlich ganz andere Methoden und Schwierigkeiten beim Entwurf eines Programms. Dieses Buch ist aus Vorlesungen an der Universitat Karlsruhe entstanden....
Die Programmiersprache PROLOG hat in den letzten Jahren, nicht zuletzt durch zahl reiche Anwendungen im Bereich der Expertensysteme und der naturlichs...
|
cena:
188,52 |
Czytaj nas na:
Zobacz: Księgarnia Czeska | Wydawnictwo Książkowe Klimaty | Mapa strony | Lista autorów
KrainaKsiazek.PL - Księgarnia Internetowa
KrainaKsiazek.PL - Księgarnia Internetowa
