wyszukanych pozycji: 2
![]() |
Das Modifikationsproblem der Aussagenlogik
ISBN: 9783639866667 / Niemiecki / Miękka / 2015 / 104 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. Diese Arbeit beschäftigt sich mit dem Erfüllbarkeitsproblem der Aussagenlogik, also der Frage, ob es zu einem gegebenen booleschen Ausdruck in konjunktiver Normalform eine erfüllende Belegung gibt. In den ersten Kapiteln wird dieses Problem zunächst formal definiert und seine Wichtigkeit für die Informatik dargestellt, danach werden einige der bekannteren Lösungsverfahren hierfür beschrieben. Im Anschluss daran werden die Modifikation als eine neue syntaktische Operation, die Erfüllbarkeitsform als eine neue Normalform für boolesche Ausdrücke und das Modifikationsproblem selbst...
Diese Arbeit beschäftigt sich mit dem Erfüllbarkeitsproblem der Aussagenlogik, also der Frage, ob es zu einem gegebenen booleschen Ausdruck in konju...
|
cena:
201,18 zł |
![]() |
Web-Kommunikation mit OpenSource: Chatbots, Virtuelle Messen, Rich-Media-Content
ISBN: 9783540232865 / Niemiecki / Twarda / 2005 / 432 str. Termin realizacji zamówienia: ok. 20 dni roboczych. Informationen braucht jeder, und viele Unternehmen und Institutionen nutzen das Web, um Informationen in der Kundenkommunikation zur Verf gung zu stellen. Moderne Web-Technologien sind zudem eng mit der Entwicklung von Lernsystemen, E-Commerce-Systemen und Cyberworlds verkn pft. Im vorliegenden Buch werden Open-Source-basierte Techniken zurWeb-Kommunikation in fundierter Weise und einem Learning-by-Doing-Ansatz vermittelt. Zentrale Themen sind dabei Chatbots, Avatare, Virtuelle Messen und Rich-Media-Content sowie die Integration verschiedener Web-Funktionalit ten in einem Portal. Die... Informationen braucht jeder, und viele Unternehmen und Institutionen nutzen das Web, um Informationen in der Kundenkommunikation zur Verf gung zu s... |
cena:
180,55 zł |