Logikkalküle in der Informatik

Logikkalküle in der Informatik von Schenke,  Michael
Im Mittelpunkt steht das Spannungsverhältnis zwischen einerseits dem herkömmlichen Logikansatz mit Begriffen wie Signatur, Struktur, Wahrheitswert und andererseits dem eher dynamisch ausgerichteten Begriff des Kalküls, also zwischen Semantik und Syntax. Wie dieser Graben überwunden wird, wird für verschiedene auch nicht-klassische Logiken vorgeführt: Prädikatenlogik, modale, temporale, nichtmonotone, epistemische Logik und andere. Dadurch wird insbesondere auch eine einführende Übersicht über Logiken gegeben, die an manchen Stellen der Informatik benötigt werden, zu deren Verständnis man sich aber kein ganzes spezielles Buch anschaffen möchte. Das Buch enthält einen einheitlichen Ansatz für verschiedene Logiken.
Aktualisiert: 2023-07-02
> findR *

Logikkalküle in der Informatik

Logikkalküle in der Informatik von Schenke,  Michael
Im Mittelpunkt steht das Spannungsverhältnis zwischen einerseits dem herkömmlichen Logikansatz mit Begriffen wie Signatur, Struktur, Wahrheitswert und andererseits dem eher dynamisch ausgerichteten Begriff des Kalküls, also zwischen Semantik und Syntax. Wie dieser Graben überwunden wird, wird für verschiedene auch nicht-klassische Logiken vorgeführt: Prädikatenlogik, modale, temporale, nichtmonotone, epistemische Logik und andere. Dadurch wird insbesondere auch eine einführende Übersicht über Logiken gegeben, die an manchen Stellen der Informatik benötigt werden, zu deren Verständnis man sich aber kein ganzes spezielles Buch anschaffen möchte. Das Buch enthält einen einheitlichen Ansatz für verschiedene Logiken.
Aktualisiert: 2023-07-02
> findR *

Logikkalküle in der Informatik

Logikkalküle in der Informatik von Schenke,  Michael
Im Mittelpunkt steht das Spannungsverhältnis zwischen einerseits dem herkömmlichen Logikansatz mit Begriffen wie Signatur, Struktur, Wahrheitswert und andererseits dem eher dynamisch ausgerichteten Begriff des Kalküls, also zwischen Semantik und Syntax. Wie dieser Graben überwunden wird, wird für verschiedene auch nicht-klassische Logiken vorgeführt: Prädikatenlogik, modale, temporale, nichtmonotone, epistemische Logik und andere. Dadurch wird insbesondere auch eine einführende Übersicht über Logiken gegeben, die an manchen Stellen der Informatik benötigt werden, zu deren Verständnis man sich aber kein ganzes spezielles Buch anschaffen möchte. Das Buch enthält einen einheitlichen Ansatz für verschiedene Logiken.
Aktualisiert: 2023-07-02
> findR *

Künstliche Intelligenz

Künstliche Intelligenz von Christaller,  Thomas
Dieser Band enthält aufbereitete Darstellungen der Kurse, die auf der KI-Frühjahrsschule 1987 gehalten wurden. Die Künstliche-Intelligenz-Frühjahrsschule 1987, KIFS-87, ist die fünfte in der Reihe von Frühjahrsschulen über Künstliche Intelligenz, die seit 1982 vom Fachausschuß 1.2 der Gesellschaft für Informatik (GI) veranstaltet werden. Aufgabe der KIFS ist es, sowohl Einführungen in repräsentative Teilbereiche der Künstlichen Intelligenz als auch tiefergehende Aufbaukurse in aktuellen Spezialgebieten anzubieten. Der Sammelband behandelt die Gebiete Logisches Programmieren, Wissensakquisition und Intelligente Tutorsysteme und Belief-Systeme. Ziel des Buches ist es, in Ergänzung zu den vorhandenen KIFS-Bänden Themen dieser Gebiete didaktisch aufzuarbeiten.
Aktualisiert: 2023-07-02
> findR *

Künstliche Intelligenz

Künstliche Intelligenz von Christaller,  Thomas
Dieser Band enthält aufbereitete Darstellungen der Kurse, die auf der KI-Frühjahrsschule 1987 gehalten wurden. Die Künstliche-Intelligenz-Frühjahrsschule 1987, KIFS-87, ist die fünfte in der Reihe von Frühjahrsschulen über Künstliche Intelligenz, die seit 1982 vom Fachausschuß 1.2 der Gesellschaft für Informatik (GI) veranstaltet werden. Aufgabe der KIFS ist es, sowohl Einführungen in repräsentative Teilbereiche der Künstlichen Intelligenz als auch tiefergehende Aufbaukurse in aktuellen Spezialgebieten anzubieten. Der Sammelband behandelt die Gebiete Logisches Programmieren, Wissensakquisition und Intelligente Tutorsysteme und Belief-Systeme. Ziel des Buches ist es, in Ergänzung zu den vorhandenen KIFS-Bänden Themen dieser Gebiete didaktisch aufzuarbeiten.
Aktualisiert: 2023-07-02
> findR *

Künstliche Intelligenz

Künstliche Intelligenz von Christaller,  Thomas
Dieser Band enthält aufbereitete Darstellungen der Kurse, die auf der KI-Frühjahrsschule 1987 gehalten wurden. Die Künstliche-Intelligenz-Frühjahrsschule 1987, KIFS-87, ist die fünfte in der Reihe von Frühjahrsschulen über Künstliche Intelligenz, die seit 1982 vom Fachausschuß 1.2 der Gesellschaft für Informatik (GI) veranstaltet werden. Aufgabe der KIFS ist es, sowohl Einführungen in repräsentative Teilbereiche der Künstlichen Intelligenz als auch tiefergehende Aufbaukurse in aktuellen Spezialgebieten anzubieten. Der Sammelband behandelt die Gebiete Logisches Programmieren, Wissensakquisition und Intelligente Tutorsysteme und Belief-Systeme. Ziel des Buches ist es, in Ergänzung zu den vorhandenen KIFS-Bänden Themen dieser Gebiete didaktisch aufzuarbeiten.
Aktualisiert: 2023-07-02
> findR *

Legal Defeasibility, materielle Gründe und die Werteperspektive des Rechts

Legal Defeasibility, materielle Gründe und die Werteperspektive des Rechts von Kurth,  Michel de Araujo
Die rechtstheoretische Diskussion zur Defeasibility ist auf die Frage fokussiert, inwieweit dieses Phänomen mit einem deduktivistischen Modell von juristischer Begründung vereinbar ist. Demgegenüber werden eine Reihe von grundlegenderen Fragen vernachlässigt, die von vergleichbarem theoretischen Stellenwert sind: Was bedeutet Defeasibility im Recht? In welchem Ausmaß ist das Recht von ihr betroffen? Kann sie aus dem Recht getilgt werden? Wie ist die Defeasibility mit dem normativen Eigengewicht rechtlicher Regeln (Gesetzesbindung) in Einklang zu bringen? Der Schlüssel zu einem solchen umfassenderen Verständnis, das Antworten auf diese bislang weniger beachteten Fragen liefert, ist eine Konzeption, die die axiologische Tiefendimension der Defeasibility im Recht voll zur Geltung bringt.
Aktualisiert: 2023-02-13
> findR *

Legal Defeasibility, materielle Gründe und die Werteperspektive des Rechts

Legal Defeasibility, materielle Gründe und die Werteperspektive des Rechts von de Araujo Kurth,  Michel
Die rechtstheoretische Diskussion zur Defeasibility ist auf die Frage fokussiert, inwieweit dieses Phänomen mit einem deduktivistischen Modell von juristischer Begründung vereinbar ist. Demgegenüber werden eine Reihe von grundlegenderen Fragen vernachlässigt, die von vergleichbarem theoretischen Stellenwert sind: Was bedeutet Defeasibility im Recht? In welchem Ausmaß ist das Recht von ihr betroffen? Kann sie aus dem Recht getilgt werden? Wie ist die Defeasibility mit dem normativen Eigengewicht rechtlicher Regeln (Gesetzesbindung) in Einklang zu bringen? Der Schlüssel zu einem solchen umfassenderen Verständnis, das Antworten auf diese bislang weniger beachteten Fragen liefert, ist eine Konzeption, die die axiologische Tiefendimension der Defeasibility im Recht voll zur Geltung bringt.
Aktualisiert: 2023-04-04
> findR *

Künstliche Intelligenz

Künstliche Intelligenz von Christaller,  Thomas
Dieser Band enthält aufbereitete Darstellungen der Kurse, die auf der KI-Frühjahrsschule 1987 gehalten wurden. Die Künstliche-Intelligenz-Frühjahrsschule 1987, KIFS-87, ist die fünfte in der Reihe von Frühjahrsschulen über Künstliche Intelligenz, die seit 1982 vom Fachausschuß 1.2 der Gesellschaft für Informatik (GI) veranstaltet werden. Aufgabe der KIFS ist es, sowohl Einführungen in repräsentative Teilbereiche der Künstlichen Intelligenz als auch tiefergehende Aufbaukurse in aktuellen Spezialgebieten anzubieten. Der Sammelband behandelt die Gebiete Logisches Programmieren, Wissensakquisition und Intelligente Tutorsysteme und Belief-Systeme. Ziel des Buches ist es, in Ergänzung zu den vorhandenen KIFS-Bänden Themen dieser Gebiete didaktisch aufzuarbeiten.
Aktualisiert: 2022-03-12
> findR *

Expertensystem-Praktikum

Expertensystem-Praktikum von Nguyen Huu,  Chau Thuy, Schnupp,  Peter
Schwimmen lernt man beim Schwimmen. Programmieren beim Programmieren. Und Expertensysteme zu schreiben beim Schreiben von Expertensystemen. Deshalb entstand dieses Buch: aus einem Expertensystem-Praktikum, das Soft ware-Praktiker in die neuen Entwurfs-und Programmiertechniken einführt, welche die wissensbasierte Datenverarbeitung in die Softwaretechnologie einbrachte. Dabei wird bewußt die Programmierung betont, nicht die Generierung eines Expertensy stems durch "Einfüllen" von Fachwissen in eine Shell. Was natürlich nicht heißen soll, daß sich nicht auch der Programmierer eines Expertensystems die eine oder andere Aufgabe erleichtern kann, indem er ein derartiges Metasystem als "Werk zeug" benutzt. Aber auch dann - das ist jedenfalls die Erfahrung der Autoren - können gute, benutzerfreundliche und leicht in die bereits vorhandenen konventionellen Daten basen und Anwendungen integrierbare Expertensysteme nur entstehen, wenn der Entwickler problemlos sich all die Komponenten selbst programmieren kann, die er in seinem vorgefertigten Werkzeugkasten überhaupt nicht, nicht in geeigneter Form oder nicht mit den richtigen Schnittstellen vorfindet. Im traditionellen Maschinenbau ist der "Werkzeugmacher" der gesuchteste und höchstbezahlte Fachspezialist. In unserem Handwerk ist das nicht viel anders.
Aktualisiert: 2022-03-03
> findR *

Logikkalküle in der Informatik

Logikkalküle in der Informatik von Schenke,  Michael
Im Mittelpunkt steht das Spannungsverhältnis zwischen einerseits dem herkömmlichen Logikansatz mit Begriffen wie Signatur, Struktur, Wahrheitswert und andererseits dem eher dynamisch ausgerichteten Begriff des Kalküls, also zwischen Semantik und Syntax. Wie dieser Graben überwunden wird, wird für verschiedene auch nicht-klassische Logiken vorgeführt: Prädikatenlogik, modale, temporale, nichtmonotone, epistemische Logik und andere. Dadurch wird insbesondere auch eine einführende Übersicht über Logiken gegeben, die an manchen Stellen der Informatik benötigt werden, zu deren Verständnis man sich aber kein ganzes spezielles Buch anschaffen möchte. Das Buch enthält einen einheitlichen Ansatz für verschiedene Logiken.
Aktualisiert: 2023-03-14
> findR *

Künstliche Intelligenz

Künstliche Intelligenz von Christaller,  Thomas
Dieser Band enthält aufbereitete Darstellungen der Kurse, die auf der KI-Frühjahrsschule 1987 gehalten wurden. Die Künstliche-Intelligenz-Frühjahrsschule 1987, KIFS-87, ist die fünfte in der Reihe von Frühjahrsschulen über Künstliche Intelligenz, die seit 1982 vom Fachausschuß 1.2 der Gesellschaft für Informatik (GI) veranstaltet werden. Aufgabe der KIFS ist es, sowohl Einführungen in repräsentative Teilbereiche der Künstlichen Intelligenz als auch tiefergehende Aufbaukurse in aktuellen Spezialgebieten anzubieten. Der Sammelband behandelt die Gebiete Logisches Programmieren, Wissensakquisition und Intelligente Tutorsysteme und Belief-Systeme. Ziel des Buches ist es, in Ergänzung zu den vorhandenen KIFS-Bänden Themen dieser Gebiete didaktisch aufzuarbeiten.
Aktualisiert: 2023-04-04
> findR *

Logikkalküle in der Informatik

Logikkalküle in der Informatik von Schenke,  Michael
Im Mittelpunkt steht das Spannungsverhältnis zwischen einerseits dem herkömmlichen Logikansatz mit Begriffen wie Signatur, Struktur, Wahrheitswert und andererseits dem eher dynamisch ausgerichteten Begriff des Kalküls, also zwischen Semantik und Syntax. Wie dieser Graben überwunden wird, wird für verschiedene auch nicht-klassische Logiken vorgeführt: Prädikatenlogik, modale, temporale, nichtmonotone, epistemische Logik und andere. Dadurch wird insbesondere auch eine einführende Übersicht über Logiken gegeben, die an manchen Stellen der Informatik benötigt werden, zu deren Verständnis man sich aber kein ganzes spezielles Buch anschaffen möchte. Das Buch enthält einen einheitlichen Ansatz für verschiedene Logiken.
Aktualisiert: 2023-04-04
> findR *
MEHR ANZEIGEN

Bücher zum Thema nichtmonotone Logik

Sie suchen ein Buch über nichtmonotone Logik? Bei Buch findr finden Sie eine große Auswahl Bücher zum Thema nichtmonotone Logik. Entdecken Sie neue Bücher oder Klassiker für Sie selbst oder zum Verschenken. Buch findr hat zahlreiche Bücher zum Thema nichtmonotone Logik im Sortiment. Nehmen Sie sich Zeit zum Stöbern und finden Sie das passende Buch für Ihr Lesevergnügen. Stöbern Sie durch unser Angebot und finden Sie aus unserer großen Auswahl das Buch, das Ihnen zusagt. Bei Buch findr finden Sie Romane, Ratgeber, wissenschaftliche und populärwissenschaftliche Bücher uvm. Bestellen Sie Ihr Buch zum Thema nichtmonotone Logik einfach online und lassen Sie es sich bequem nach Hause schicken. Wir wünschen Ihnen schöne und entspannte Lesemomente mit Ihrem Buch.

nichtmonotone Logik - Große Auswahl Bücher bei Buch findr

Bei uns finden Sie Bücher beliebter Autoren, Neuerscheinungen, Bestseller genauso wie alte Schätze. Bücher zum Thema nichtmonotone Logik, die Ihre Fantasie anregen und Bücher, die Sie weiterbilden und Ihnen wissenschaftliche Fakten vermitteln. Ganz nach Ihrem Geschmack ist das passende Buch für Sie dabei. Finden Sie eine große Auswahl Bücher verschiedenster Genres, Verlage, Autoren bei Buchfindr:

Sie haben viele Möglichkeiten bei Buch findr die passenden Bücher für Ihr Lesevergnügen zu entdecken. Nutzen Sie unsere Suchfunktionen, um zu stöbern und für Sie interessante Bücher in den unterschiedlichen Genres und Kategorien zu finden. Unter nichtmonotone Logik und weitere Themen und Kategorien finden Sie schnell und einfach eine Auflistung thematisch passender Bücher. Probieren Sie es aus, legen Sie jetzt los! Ihrem Lesevergnügen steht nichts im Wege. Nutzen Sie die Vorteile Ihre Bücher online zu kaufen und bekommen Sie die bestellten Bücher schnell und bequem zugestellt. Nehmen Sie sich die Zeit, online die Bücher Ihrer Wahl anzulesen, Buchempfehlungen und Rezensionen zu studieren, Informationen zu Autoren zu lesen. Viel Spaß beim Lesen wünscht Ihnen das Team von Buchfindr.