Formallogikk utvalgte emner i klassisk setnings- og predikatlogikk
Innbundet /
2020
/ Bokmål
Produktdetaljer
ISBN
9788293816065
Publisert
2020-11-16
Utgave
1. utgave
Utgiver
Vendor
Karnov Group
Vekt
1010 gr
Høyde
246 mm
Bredde
175 mm
Dybde
31 mm
Aldersnivå
Voksen
Språk
Product language
Bokmål
Format
Product format
Innbundet
Antall sider
422
Forfatter
Formallogikk studerer setningers og resonnementers logiske form, blant annet for å avdekke logiske egenskaper som at konklusjonen i et resonnement følger med nødvendighet fra premissene. Formallogikk brukes direkte i filosofi, matematikk, informatikk og lingvistikk, men ferdigheter i formallogikk vil også bidra til stringent resonnering i rettsvitenskap og andre fag hvor argumentasjon står sentralt.
Denne boken gir en første introduksjon til setnings- og predikatlogikk, men fremstillingen går også lenger, blant annet ved å ta for seg metalogiske problemstillinger. Boken er skrevet med tanke på studenter uten bakgrunn fra fag som benytter formelle metoder.
Les mer
Produktdetaljer
ISBN
9788293816065
Publisert
2020-11-16
Utgave
1. utgave
Utgiver
Vendor
Karnov Group
Vekt
1010 gr
Høyde
246 mm
Bredde
175 mm
Dybde
31 mm
Aldersnivå
Voksen
Språk
Product language
Bokmål
Format
Product format
Innbundet
Antall sider
422
Forfatter