Formal logic - a guided tour

av (forfatter).

Akademika 2007 Heftet

Ingen bokelskere følger dette verket.

Kjøp boken hos

Kjøp boka hos ark.no

Omtale fra forlaget

This is a first introduction to logic for universities and colleges. The guided tour goes through the realm of formal logic following a path of around hundred problems. The reader is invited to first solve each problem on his own. Then the solution is given and we go to the next problem. The tour goes through propositional logic, predicate logic, automata, Turing machines and ends up discussing incompleteness phenomena. Logic is both one of the oldest of sciences and is essential for much of the development in the new cognitive science. We investigate how men and machines treat information and look at how information is represented and the kind of calculation we can perform on it. This tour is meant for students of computer science, mathematics, philosophy, linguistics and cognitive science. It gives a thorough introduction to a new and exciting field.

Bokdetaljer

Forlag Akademika

Utgivelsesår 2007

Format Heftet

ISBN13 9788274771888

EAN 9788274771888

Språk Engelsk

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