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:
Logic.
PHILOSOPHY > Logic.
Acceso en línea:Texto completo

MARC

LEADER 00000cam a2200000Ia 4500
001 JSTOR_ocn815471382
003 OCoLC
005 20231005004200.0
006 m o d
007 cr cnu---unuuu
008 121004s2006 dk o 000 0 dan d
040 |a E7B  |b eng  |e pn  |c E7B  |d OCLCO  |d OCLCQ  |d N$T  |d OCLCF  |d EBLCP  |d DEBSZ  |d YDXCP  |d OCLCQ  |d AGLDB  |d OCLCQ  |d VTS  |d OCLCQ  |d STF  |d M8D  |d UKAHL  |d YDX  |d OCLCO  |d OCLCQ  |d JSTOR 
019 |a 818868761  |a 819616670  |a 905551100 
020 |a 9788779349490  |q (electronic bk.) 
020 |a 8779349498  |q (electronic bk.) 
020 |z 8779349498 
020 |z 9788779341142 
029 1 |a AU@  |b 000053031794 
029 1 |a DEBBG  |b BV043094893 
029 1 |a DEBSZ  |b 397406185 
029 1 |a DEBSZ  |b 421295503 
035 |a (OCoLC)815471382  |z (OCoLC)818868761  |z (OCoLC)819616670  |z (OCoLC)905551100 
037 |a 22573/ctv62tj9h  |b JSTOR 
041 1 |a dan  |h eng 
050 4 |a BC78.D36  |b R43 2006eb 
072 7 |a PHI  |x 011000  |2 bisacsh 
082 0 4 |a 160  |2 23 
049 |a UAMI 
100 1 |a Read, Stephen,  |d 1947- 
240 1 0 |a Formal logic.  |l Danish 
245 1 0 |a Formel logik /  |c af Stephen Read & Crispin Wright ; oversættelse: Lars Bo Gundersen og Jens Kristian Mathiasen. 
260 |a Århus :  |b Aarhus Universitetsforlag,  |c 2006. 
300 |a 1 online resource (93 pages) 
336 |a text  |b txt  |2 rdacontent 
337 |a computer  |b c  |2 rdamedia 
338 |a online resource  |b cr  |2 rdacarrier 
588 0 |a Print version record. 
505 0 |a 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. 
520 |a 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. 
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  |0 (OCoLC)fst01002014 
700 1 |a Wright, Crispin,  |d 1942- 
700 1 |a Gundersen, Lars Bo. 
700 1 |a Mathiasen, Jens Kristian. 
776 0 8 |i Print version:  |a Read, Stephen.  |t Formel logik.  |d Santa Barbara : Aarhus University Press, ©2006  |z 9788779341142 
856 4 0 |u https://jstor.uam.elogim.com/stable/10.2307/j.ctv35r4b4z  |z Texto completo 
938 |a ProQuest Ebook Central  |b EBLB  |n EBL6363497 
938 |a YBP Library Services  |b YANK  |n 17060617 
938 |a Askews and Holts Library Services  |b ASKH  |n AH34483965 
938 |a Askews and Holts Library Services  |b ASKH  |n BDZ0036727709 
938 |a ebrary  |b EBRY  |n ebr10605215 
938 |a EBSCOhost  |b EBSC  |n 515484 
938 |a YBP Library Services  |b YANK  |n 9732336 
994 |a 92  |b IZTAP 

Ejemplares similares