Formallogikk

utvalgte emner i klassisk setnings- og predikatlogikk

av (forfatter).

Karnov group 2020 Innbundet

Ingen bokelskere følger dette verket.

Kjøp boken hos

Kjøp boka hos norli.no! Kjøp boka hos Akademika Kjøp boka hos ark.no

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.

Bokdetaljer

Forlag Karnov group

Utgivelsesår 2020

Format Innbundet

ISBN13 9788293816065

EAN 9788293816065

Språk Bokmål

Sider 422

Utgave 1

Finn boka på biblioteket

Du kan velge et fast favorittbibliotek under innstillinger.

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!


Bokomtaler

Ingen omtaler ennå.

Skriv en omtale Se alle omtaler av verket

Diskusjoner om boka

Ingen diskusjoner ennå.

Start en diskusjon om verket Se alle diskusjoner om verket

Sitater fra dette verket

Ingen sitater ennå.


Legg inn et nytt sitat Se alle sitater fra verket

Bokelskere som følger boka

0 bokelskere følger dette verket.

Se alle bokelskere som følger dette verket