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...
| Clasificación: | Libro Electrónico |
|---|---|
| Autor principal: | |
| Otros Autores: | , , |
| Formato: | Electrónico eBook |
| Idioma: | Danés Inglés |
| Publicado: |
Århus :
Aarhus Universitetsforlag,
2006.
|
| Temas: | |
| Acceso en línea: | Texto completo |
Tabla de Contenidos:
- 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.