Formel logik

Type Book

Rate 0.0 /5

Formel logik er en grundlæggende, lettilgængelig indføring i klassisk doms- og prædikatslogik beregnet til undervisning på universitetsniveau. Den fokuserer på de semantiske metoder - sandhedstabeller og semantiske træer - frem for bevisteori. Derved giver den et klart og let tilgængeligt overblik over logiske nøglebegreber som 'gyldighed', 'formalisering', 'fortolkning', 'model' og 'modeksempel'. Dens kontante og præcise form såvel som de mange pædagogiske eksempler og øvelser har gjort den ti…

Details

Files

Reviews

Download

Title Statements

Full title :Formel logik / af Stephen Read & Crispin Wright ; oversættelse: Lars Bo Gundersen og Jens Kristian Mathiasen.

Summary

Formel logik er en grundlæggende, lettilgængelig indføring i klassisk doms- og prædikatslogik beregnet til undervisning på universitetsniveau. Den fokuserer på de semantiske metoder - sandhedstabeller og semantiske træer - frem for bevisteori. Derved giver den et klart og let tilgængeligt overblik over logiske nøglebegreber som 'gyldighed', 'formalisering', 'fortolkning', 'model' og 'modeksempel'. Dens kontante og præcise form såvel som de mange pædagogiske eksempler og øvelser har gjort den til en populær lærebog til introducerende logikkurser i gymnasiet og på videregående uddannelsesinstitu.

Edition Statements

Publication Date:2006.

Publication Statements

Publisher(s):Aarhus Universitetsforlag
Place of Publication:Århus
Language:dan
Publication Date:2006.

The Physical Object

Description:1 online resource (93 pages)

Edition Identifiers

ISBN:9788779349490, 8779349498
oclc:ocn815471382
LC Classification:BC78.D36
Dewey Decimal:160

Omslag; Forside; Titelside; Kolofon; Indholdsfortegnelse; Kapitel 1. Hvad er formel logik?; Kapitel 2. Formalisering; Kapitel 3. Sandhedstabeller; Kapitel 4. Semantiske træer for domslogik; Kapitel 5. Syntaks for prædikatslogikken; Kapitel 6. Modeller og modeksempler; Kapitel 7. Semantiske træer for prædikatslogikken; Appendiks: Oversigt over den logiske syntaks samt de semantiske træ-regler. Syntaks.