Omtale fra forlaget
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.
Forlag Karnov group
Utgivelsesår 2020
Format Innbundet
ISBN13 9788293816065
EAN 9788293816065
Språk Bokmål
Sider 422
Utgave 1
Finner du ikke ditt favorittbibliotek på lista? Send oss e-post til admin@bokelskere.no med navn på biblioteket og fylket det ligger i. Kanskje vi kan legge det til!
Ingen diskusjoner ennå.
Start en diskusjon om verket Se alle diskusjoner om verket0 bokelskere følger dette verket.
Se alle bokelskere som følger dette verket