Zur Logik der Logik-Programmierung - Beckstein, Clemens
- Format: Broché Voir le descriptif
Vous en avez un à vendre ?
Vendez-le-vôtre88,35 €
Produit Neuf
Ou 22,09 € /mois
- Livraison : 3,99 €
- Livré entre le 29 juillet et le 4 août
Nos autres offres
-
92,34 €
Produit Neuf
Ou 23,09 € /mois
- Livraison à 0,01 €
- Livré entre le 30 juillet et le 11 août
Brand new, In English, Fast shipping from London, UK; Tout neuf, en anglais, expédition rapide depuis Londres, Royaume-Uni;ria9783540507208_dbm
Voir le détail de l'annonce
- Payez directement sur Rakuten (CB, PayPal, 4xCB...)
- Récupérez le produit directement chez le vendeur
- Rakuten vous rembourse en cas de problème
Gratuit et sans engagement
Félicitations !
Nous sommes heureux de vous compter parmi nos membres du Club Rakuten !
TROUVER UN MAGASIN
Retour
Avis sur Zur Logik Der Logik - Programmierung de Beckstein, Clemens Format Broché - Livre Littérature Générale
0 avis sur Zur Logik Der Logik - Programmierung de Beckstein, Clemens Format Broché - Livre Littérature Générale
Les avis publiés font l'objet d'un contrôle automatisé de Rakuten.
-
Poetry In Stitches - Clothes You Can Knit
Occasion dès 50,00 €
-
The Hobbit And The Lord Of The Rings
Occasion dès 45,91 €
-
Critical Phenomena In Natural Sciences
Neuf dès 118,50 €
Occasion dès 55,21 €
-
Back In The Days
1 avis
Occasion dès 55,61 €
-
English Vocabulary Organiser
1 avis
Neuf dès 64,51 €
Occasion dès 47,21 €
-
Paula Rego
Occasion dès 61,25 €
-
Rivstart A1 + A2 Textbok
Occasion dès 55,22 €
-
Vivian Maier - Photographin
Occasion dès 45,75 €
-
Iconic Roland-Garros - Livre Officiel
1 avis
Neuf dès 59,50 €
Occasion dès 47,48 €
-
Principles Of Sustainable Finance
Neuf dès 134,83 €
Occasion dès 59,11 €
-
Colloquial Ukrainian
Occasion dès 46,42 €
-
How Children Develop
Neuf dès 113,65 €
Occasion dès 83,91 €
-
Hiroshi Sugimoto
Occasion dès 64,01 €
-
Methoden Steuerrechtlicher Entscheidungsfindung
Occasion dès 50,00 €
-
Anatomy Of The Horse
Neuf dès 109,61 €
Occasion dès 66,18 €
-
Bovine Anatomy
Neuf dès 109,20 €
Occasion dès 84,16 €
-
Die Luther-Bibel Von 1534
Neuf dès 60,00 €
Occasion dès 50,73 €
-
Skulptur Des 18. Jahrhunderts In Deutschland
Neuf dès 74,76 €
Occasion dès 44,33 €
-
Nicolas Roerich. La Vie Et L'oeuvre D'un Maitre Russe
2 avis
Occasion dès 50,00 €
-
The Wall Paintings Of Thera
1 avis
Occasion dès 68,42 €
Produits similaires
Présentation Zur Logik Der Logik - Programmierung de Beckstein, Clemens Format Broché
- Livre Littérature Générale
Résumé :
1 Einleitung.- 1.1 Motivation.- 1.2 Ausdruckskraft kontra Verarbeitung.- 1.3 Aufbau der Arbeit.- 2 Logische Grundbegriffe.- 2.1 Pr?dikatenlogik.- 2.2 Herbrand-Interpretationen.- 2.3 Resolution.- 2.4 Antwortsubstitutionen.- 2.5 Semantik von Logik-Programmen.- 3 Die deklarativ/prozedural-Kontroverse.- 3.1 PLANNER.- 3.2 CONNIVER.- 3.3 Aktorensysteme.- 3.4 Lehren aus dieser Diskussion.- 4 Logik-Programmierung.- 4.1 SLD-Resolution.- 4.2 PROLOG.- 4.3 FWD-Beweise.- 4.4 Berechenbarkeitsaspekte.- 5 Die Grenzen der Ausdruckskraft.- 5.1 Konstruktivistische Aspekte.- 5.2 Dialogische Logik und Logik-Programmierung.- 5.3 Negation.- 5.4 Res?mee.- 6 Reason-Maintenance-Systeme.- 6.1 Grundbegriffe des Reason-Maintenance.- 6.2 Negation und Reason-Maintenance.- 6.3 Multiple Welten: DeKleers ATMS.- 7 Ein vereinheitlichender Ansatz: RISC.- 7.1 Unterst?tzung von S LD-Resolution.- 7.2 Ver?nderliche Theorien.- 7.3 Hypothetisches Schlie?en.- 7.4 Ein Beispiel.- 7.5 Diskussion vergleichbarer Ans?tze.- 8 Zusammenfassung und Ausblick....
Sommaire:
1 Einleitung.- 1.1 Motivation.- 1.2 Ausdruckskraft kontra Verarbeitung.- 1.3 Aufbau der Arbeit.- 2 Logische Grundbegriffe.- 2.1 Pr?dikatenlogik.- 2.2 Herbrand-Interpretationen.- 2.3 Resolution.- 2.4 Antwortsubstitutionen.- 2.5 Semantik von Logik-Programmen.- 3 Die deklarativ/prozedural-Kontroverse.- 3.1 PLANNER.- 3.2 CONNIVER.- 3.3 Aktorensysteme.- 3.4 Lehren aus dieser Diskussion.- 4 Logik-Programmierung.- 4.1 SLD-Resolution.- 4.2 PROLOG.- 4.3 FWD-Beweise.- 4.4 Berechenbarkeitsaspekte.- 5 Die Grenzen der Ausdruckskraft.- 5.1 Konstruktivistische Aspekte.- 5.2 Dialogische Logik und Logik-Programmierung.- 5.3 Negation.- 5.4 Res?mee.- 6 Reason-Maintenance-Systeme.- 6.1 Grundbegriffe des Reason-Maintenance.- 6.2 Negation und Reason-Maintenance.- 6.3 Multiple Welten: DeKleers ATMS.- 7 Ein vereinheitlichender Ansatz: RISC.- 7.1 Unterst?tzung von S LD-Resolution.- 7.2 Ver?nderliche Theorien.- 7.3 Hypothetisches Schlie?en.- 7.4 Ein Beispiel.- 7.5 Diskussion vergleichbarer Ans?tze.- 8 Zusammenfassung und Ausblick.
Détails de conformité du produit
Personne responsable dans l'UE