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.
Forlag Akademika
Utgivelsesår 2007
Format Heftet
ISBN13 9788274771888
EAN 9788274771888
Språk Engelsk
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