|
|
|
|
| LEADER |
00000cam a22000004a 4500 |
| 001 |
musev2_109514 |
| 003 |
MdBmJHUP |
| 005 |
20230905054357.0 |
| 006 |
m o d |
| 007 |
cr||||||||nn|n |
| 008 |
180519s2017 dk o 00 0 dan d |
| 020 |
|
|
|a 9788771844870
|
| 020 |
|
|
|z 9788771249781
|
| 035 |
|
|
|a (OCoLC)1036110445
|
| 040 |
|
|
|a MdBmJHUP
|c MdBmJHUP
|
| 100 |
1 |
|
|a Gundersen, Lars Bo,
|e author.
|
| 245 |
1 |
0 |
|a Hej logik /
|c Lars Bo Gundersen.
|
| 250 |
|
|
|a 1. udgave, 1. oplag.
|
| 264 |
|
1 |
|a Aarhus :
|b Aarhus Universitetsforlag,
|c 2017.
|
| 264 |
|
3 |
|a Baltimore, Md. :
|b Project MUSE,
|c 2023
|
| 264 |
|
4 |
|c ©2017.
|
| 300 |
|
|
|a 1 online resource.
|
| 336 |
|
|
|a text
|b txt
|2 rdacontent
|
| 337 |
|
|
|a computer
|b c
|2 rdamedia
|
| 338 |
|
|
|a online resource
|b cr
|2 rdacarrier
|
| 505 |
0 |
|
|a Forside; Titelside; Kolofon; Indhold; Forord; Introduktion; Kapitel 1 Logik, logisk form og formalisering; Logik; Taenkning og perception; Argumenter og domme; Deduktive og ikke-deduktive argumenter; Begrundelse og sandhed; VF'isk; Formalisering; VF'isk grammatik; Opsummering; Ovelser; Kapitel 2 Sandhedstabeller, fortolkning og gyldighed; Gyldighed; Hej logik-maskinen; Sandhedstabeller for komplekse VF'er; Tautologiske, kontradiktoriskeog kontingente VF'er; Antal fortolkninger og sandhedsfunktioner; Opsummering; Ovelser; Kapitel 3 Semantiske traeer, modeller og konsistens; Traemetoden
|
| 505 |
0 |
|
|a Traeer for de enkelte konnektiverEvaluering af VF'er med traemetoden; Evaluering af VF-argumenter med traemetoden; Opsummering; Ovelser; Kapitel 4 Praedikater, Relationerog Kvantorer; Domslogik og praedikatslogik; Vokabular i praedikatslogikken; Formalisering i praedikatslogikken; Universalkvantoren og eksistenskvantoren; Komplekse VF-praedikater; Formalisering af argumenter; Praedikatslogikken og Aristoteles' syllogismelaere; Den udvidede VF'iske grammatik; Opsummering; Ovelser; Kapitel 5 Fortolkninger, semantiske traeer og gyldighed i praedikatslogikken; Fortolkninger i praedikatslogikken
|
| 505 |
0 |
|
|a Traeer i praedikatslogikkenTraeer for praedikatslogiske VF-argumenter; Opsummering; Ovelser; Kapitel 6 Udtrykskraft, kompleksitet og afgorbarhed; Diskursdomaener; Indlejrede kvantorer; Kvantorudtryk; Komplekse analyser; Afgorbarhed; Omskrivning; Raekkefolge; Snyd; Uendelige modeller; Opsummering; Ovelser; Kapitel 7AEkvivalens og identitet; AEkvivalens; Almindeligt forekommende aekvivalenser; Relevansen af aekvivalensrelationer; Identitet; Refleksive, symmetriske, transitive og euklidiske relationer; Logik og algebra; Er: praedikat eller identitet?; Opsummering; Ovelser; Tak; Stikordsregister
|
| 588 |
|
|
|a Description based on print version record.
|
| 650 |
|
7 |
|a Logic.
|2 fast
|0 (OCoLC)fst01002014
|
| 650 |
|
7 |
|a PHILOSOPHY
|x Logic.
|2 bisacsh
|
| 650 |
|
0 |
|a Logic.
|
| 655 |
|
7 |
|a Electronic books.
|2 local
|
| 710 |
2 |
|
|a Project Muse.
|e distributor
|
| 830 |
|
0 |
|a Book collections on Project MUSE.
|
| 856 |
4 |
0 |
|z Texto completo
|u https://projectmuse.uam.elogim.com/book/109514/
|
| 945 |
|
|
|a Project MUSE - Custom Collection
|
| 945 |
|
|
|a Project MUSE - 2023 Annual Backfile - Unpurchased
|
