Logikk og beregnbarhet

PRIS: GRATIS
DATO 2007-01-01
FORFATTER Herman Ruge Jervell
ISBN 9788274770720
FILSTØRRELSE 8,56 MB
FORMAT PDF EPUB TXT iOS
SPRÅK NORSK
novirus

Bokbeskrivelse

Logikk og beregnbarhetLogikk og beregnbarhet er en innføringsbok for studenter veduniver#31;sitet og høgskoler. Boka består av to deler - logikk og beregninger. Dissedelene kan leses uavhengig av hverandre. Opplegget er bygd opp rundt mer enn 60problemer som leseren blir invitert til å være med på å løse ved å følgeutførlige løsningsforslag. Det er også lagd oppgaver. Boka har dessuten en egenhjemmeside (folk.uio.no/herman/Logikk)Ved siden av å være et av de eldste fagene vi har, er logikket kjerne#31;fag i den nye kognisjonsvitenskapen. Der undersøkes hvordan menneskerog maskiner behandler informasjon og man ser både på hvordan in#31;formasjonenrepresenteres og hvilke beregninger som kan utføres på den.Logikk og beregnbarhet henvender seg til studenter frainforma#31;tikk, matematikk, filosofi, lingvistikk og kognisjonsvitenskap. Bokagir en grundig innføring i et nytt og spennende fagområde. Det forut#31;settesingen spesiell bakgrunn fra videregående skole.

TEKNISK INFORMASJON

Du kan lese og laste ned Logikk og beregnbarhet PDF, ePUB, MOBI format fra siden vår. God gratis bok Logikk og beregnbarhet.

...NING 1: INTRODUKSJON Roger Antonsen Institutt for informatikk Universitetet i Oslo 19. august 2008 (Sist oppdatert: 2008-09 ... INF1800 - LOGIKK OG BEREGNBARHET FORELESNING 3: MENGDELÆRE, RELASJONER, FUNKSJONER Roger Antonsen Institutt for informatikk Universitetet i Oslo Uten mat og drikker, duger helten ikke. Foreleseren kan sjonglere. Det fins mengder som ikke er tellbare. Studenter drikker for mye. 5+6 = 4 Den interne strukturen til atomære utsagn blir ikke analysert. Etter hvert skal vi lære første-ordens logikk, og da skal vi analysere utsagn i større detalj. INF1800 - LOGIKK OG BEREGNBARHET FORELESNING 6: UTSAGNSLOGIKK Roger Antonsen Institutt for informatikk Universitetet i Oslo 3. september 2008 (Sist oppdatert: 2008-09-03 12:49) Mer om bruk av utsagnslogikk Hvordan fange inn utsagn? Jeg spiser dethvisdet er godt. Jeg spiser det det er godt. Det er godt!jeg spiser det. (Med andre ord, jeg er ... Logikk er et stort fag Filosofi og filosofisk logikk - Matematikkens fund...