Cargando…

Formel logik /

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...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor principal: Read, Stephen, 1947-
Otros Autores: Wright, Crispin, 1942-, Gundersen, Lars Bo, Mathiasen, Jens Kristian
Formato: Electrónico eBook
Idioma:Danés
Inglés
Publicado: Århus : Aarhus Universitetsforlag, 2006.
Temas:
Acceso en línea:Texto completo
Descripción
Sumario: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 uddannelsesinstitu.
Descripción Física:1 online resource (93 pages)
ISBN:9788779349490
8779349498