Introduction aux calculs des sequents
Murhega
* Affiliatelinks/Werbelinks
Links auf reinlesen.de sind sogenannte Affiliate-Links. Wenn du auf so einen Affiliate-Link klickst und über diesen Link einkaufst, bekommt reinlesen.de von dem betreffenden Online-Shop oder Anbieter eine Provision. Für dich verändert sich der Preis nicht.
Geisteswissenschaften, Kunst, Musik / Pädagogik
Beschreibung
Manuel de logique moderne classique pour etudiants et chercheurs du superieur, cet ouvrage presente la methode du calcul des sequents (les groupes L). Celle-ci est une methode de decision syntaxique ou une theorie de la demonstration utilisee par Joseph Dopp pour construire six systemes logiques. Chacun de ces systemes utilise des schemas d'introduction d'un operateur dans l'antecedent ou dans le consequent pour l'engendrement ou la demonstration des theoremes en conformite avec les regles et les operateurs logiques : l'implication, la conjonction, la disjonction, la negation, la negation stricte et le schema f. Cet ouvrage presente ces systemes logiques, les analyse, les explicite et les enrichit des exercices d'illustration resolus pour faciliter au lecteur l'approfondissement et la maitrise de la methode des sequents.