Clause de Horn

CHF 37.45
Auf Lager
SKU
7LCOPRS1DC5
Stock 1 Verfügbar
Geliefert zwischen Mo., 22.12.2025 und Di., 23.12.2025

Details

En logique, en particulier en calcul propositionnel, une clause de Horn est une clause comportant au plus un littéral positif. Il existe donc trois types de clauses de Horn : celles qui comportent un littéral positif et au moins un littéral négatif, appelées clauses de Horn strictes ; celles qui comportent un littéral positif et aucun littéral négatif, appelées clauses de Horn positives ; celles qui ne comportent que des littéraux négatifs, appelées clauses de Horn négatives.

Weitere Informationen

  • Allgemeine Informationen
    • GTIN 09786138055204
    • Herausgeber Alphascript Publishing
    • Anzahl Seiten 60
    • Genre Science & Medicine
    • Editor Frederic P. Miller, Agnes F. Vandome, John McBrewster
    • Untertitel Logique mathmatique, Calcul des propositions, Littral (logique), Calcul des propositions
    • Größe H220mm x B220mm
    • EAN 9786138055204
    • Format Fachbuch
    • Titel Clause de Horn

Bewertungen

Schreiben Sie eine Bewertung
Nur registrierte Benutzer können Bewertungen schreiben. Bitte loggen Sie sich ein oder erstellen Sie ein Konto.
Made with ♥ in Switzerland | ©2025 Avento by Gametime AG
Gametime AG | Hohlstrasse 216 | 8004 Zürich | Schweiz | UID: CHE-112.967.470