|
|
|
|
| LEADER |
00000cam a2200000 i 4500 |
| 001 |
JSTOR_on1036110445 |
| 003 |
OCoLC |
| 005 |
20231005004200.0 |
| 006 |
m o d |
| 007 |
cr |n||||||||| |
| 008 |
180519s2017 dk o 000 0 dan d |
| 040 |
|
|
|a YDX
|b eng
|e pn
|c YDX
|d N$T
|d EBLCP
|d N$T
|d OCLCF
|d OCLCQ
|d UKAHL
|d OCLCQ
|d OCLCO
|d P@U
|d JSTOR
|d OCLCQ
|d OCLCO
|
| 019 |
|
|
|a 1035947646
|a 1036942198
|
| 020 |
|
|
|a 9788771844870
|q (electronic bk.)
|
| 020 |
|
|
|a 8771844872
|q (electronic bk.)
|
| 020 |
|
|
|z 8771249788
|
| 020 |
|
|
|z 9788771249781
|
| 029 |
1 |
|
|a AU@
|b 000065525646
|
| 035 |
|
|
|a (OCoLC)1036110445
|z (OCoLC)1035947646
|z (OCoLC)1036942198
|
| 037 |
|
|
|a 22573/ctv62tn4f
|b JSTOR
|
| 050 |
|
4 |
|a BC78.D36
|
| 072 |
|
7 |
|a PHI
|x 011000
|2 bisacsh
|
| 082 |
0 |
4 |
|a 160
|2 23
|
| 049 |
|
|
|a UAMI
|
| 100 |
1 |
|
|a Gundersen, Lars Bo,
|e author.
|
| 245 |
1 |
0 |
|a Hej logik /
|c Lars Bo Gundersen.
|
| 250 |
|
|
|a 1. udgave, 1. oplag.
|
| 260 |
|
|
|a Aarhus :
|b Aarhus Universitetsforlag,
|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; Tænkning og perception; Argumenter og domme; Deduktive og ikke-deduktive argumenter; Begrundelse og sandhed; VF'isk; Formalisering; VF'isk grammatik; Opsummering; Øvelser; 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; Øvelser; Kapitel 3 Semantiske træer, modeller og konsistens; Træmetoden
|
| 505 |
8 |
|
|a Træer for de enkelte konnektiverEvaluering af VF'er med træmetoden; Evaluering af VF-argumenter med træmetoden; Opsummering; Øvelser; Kapitel 4 Prædikater, Relationerog Kvantorer; Domslogik og prædikatslogik; Vokabular i prædikatslogikken; Formalisering i prædikatslogikken; Universalkvantoren og eksistenskvantoren; Komplekse VF-prædikater; Formalisering af argumenter; Prædikatslogikken og Aristoteles' syllogismelære; Den udvidede VF'iske grammatik; Opsummering; Øvelser; Kapitel 5 Fortolkninger, semantiske træer og gyldighed i prædikatslogikken; Fortolkninger i prædikatslogikken
|
| 505 |
8 |
|
|a Træer i prædikatslogikkenTræer for prædikatslogiske VF-argumenter; Opsummering; Øvelser; Kapitel 6 Udtrykskraft, kompleksitet og afgørbarhed; Diskursdomæner; Indlejrede kvantorer; Kvantorudtryk; Komplekse analyser; Afgørbarhed; Omskrivning; Rækkefølge; Snyd; Uendelige modeller; Opsummering; Øvelser; Kapitel 7Ækvivalens og identitet; Ækvivalens; Almindeligt forekommende ækvivalenser; Relevansen af ækvivalensrelationer; Identitet; Refleksive, symmetriske, transitive og euklidiske relationer; Logik og algebra; Er: prædikat eller identitet?; Opsummering; Øvelser; Tak; Stikordsregister
|
| 590 |
|
|
|a JSTOR
|b Books at JSTOR Demand Driven Acquisitions (DDA)
|
| 590 |
|
|
|a JSTOR
|b Books at JSTOR All Purchased
|
| 650 |
|
0 |
|a Logic.
|
| 650 |
|
7 |
|a PHILOSOPHY
|x Logic.
|2 bisacsh
|
| 650 |
|
7 |
|a Logic
|2 fast
|
| 776 |
0 |
8 |
|i Print version:
|a Gundersen, Lars Bo.
|t Hej logik.
|b 1. udgave, 1. oplag.
|d Aarhus : Aarhus Universitetsforlag, 2017
|z 8771249788
|z 9788771249781
|w (OCoLC)1031954040
|
| 856 |
4 |
0 |
|u https://jstor.uam.elogim.com/stable/10.2307/j.ctv35r4bb2
|z Texto completo
|
| 938 |
|
|
|a Project MUSE
|b MUSE
|n musev2_109514
|
| 938 |
|
|
|a Askews and Holts Library Services
|b ASKH
|n AH34638621
|
| 938 |
|
|
|a ProQuest Ebook Central
|b EBLB
|n EBL5391731
|
| 938 |
|
|
|a EBSCOhost
|b EBSC
|n 1809720
|
| 938 |
|
|
|a YBP Library Services
|b YANK
|n 15361679
|
| 994 |
|
|
|a 92
|b IZTAP
|
