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.
...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...