本の詳細
形式
ペーパーバック
ページ数
95
言語
デンマーク語
公開されました
Jan 1, 2006
出版社
Aarhus Universitetsforlag
ISBN-10
8779341144
ISBN-13
9788779341142
説明
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 til en populær lærebog til introducerende logikkurser i gymnasiet og på videregående uddannelsesinstitutioner i Storbritannien, Australien og USA.