Formålet med boken er å legge et solid grunnlag for et realfaglig studium, og å introdusere og forklare de viktigste og mest essensielle begrepene innenfor matematikk og realfag.
Mange tenker at matematikk er regning, formler, tall og merkelige bokstaver. Men matematikk er mye mer enn å utføre beregninger, manipulere symboler og sette inn i formler. Matematikk handler om å oppdage mønstre, gjennomføre resonnementer, finne moteksempler og argumentere logisk. Matematikk er en måte å tenke på, og en aktivitet som er både ekstremt kreativ og utfordrende.
Denne boken er ment som en introduksjon til vitenskapelig, og spesielt matematisk, tankegang for dem som begynner på et universitets- eller høyskolestudium. Formålet med boken er å legge et solid grunnlag for et realfaglig studium, og å introdusere og forklare de viktigste og mest essensielle begrepene innenfor matematikk og realfag. Gjennom 25 korte kapitler, i en original og visuell fremstilling, vil studentene lære det mest grunnleggende innenfor mengdelære, logikk, bevismetoder, kombinatorikk, grafteori og mye annet.
Logiske metoder passer spesielt godt til dem som ikke har studert før, slik at overgangen til et universitets- eller høyskolestudium blir lettere. Boken har også overføringsverdi til andre studier enn realfag og er en nyttig og fascinerende inngang til vitenskapelig og logisk tankegang. Roger Antonsen mottok Universitetsforlagets Lærebokpris for 2013 for denne boken.
Kjøp boken fra Universitetsforlaget eller Akademika, eller les mer om boken på Rogers hjemmeside.
Studiebok til Logiske metoder er et nyttig supplement og en praktisk støttebok for deg som bruker boken «Logiske metoder» av Roger Antonsen.
Boken har tre hoveddeler (og én ekstradel):
Kjøp boken fra Universitetsforlaget eller Akademika, eller les mer om boken på Roger hjemmesider.
Logiske metoder brukes som lærebok og ressurs flere steder!
Nettkurset for Logiske metoder er et supplement til boken og brukes hvert semester i IN1150 - Logiske metoder for informatikk ved Institutt for informatikk, Universitetet i Oslo. Prosjektet med nettkurset begynte i 2016, som et interaktivt selvstudium med Open edX, og dette er nå videreutviklet videre til et solid og praktisk nettkurs som du finner på https://logiskemetoder.no/nettkurs/. Her finner du videoer, interaktive test-deg-selv oppgaver og mye annet.
I kurset IN1150 - Logiske metoder for informatikk har vi siden 2014 filmet forelesninger, og det er disse videoene som var utgangspunktet for de korte videoklippene som du finner i nettkurset. Her finner du YouTube-spillelister med mange av disse videoene i sin helhet.
Følgende er en oversikt over alle kjente skrivefeil og mangler i boken. Hvis du finner noen feil som ikke er oppgitt her, send en e-post til logiskemetoder@universitetsforlaget.no og si ifra om det. (Initialene i parentes angir hvem som har funnet feilen.) Ingen feil er for liten til å si ifra om.
(På grunn av en trykkefeil, ble det ikke noe 4. eller 5. opplag. 🤔 Ikke spør meg om hvorfor.)
Retteliste for 6. opplag (2021) Retteliste for 7. opplag (2023) Rettelisten for 1. opplag (2017) av Studiebok til Logiske metoder Rettelisten for 2. opplag (2023) av Studiebok til Logiske metoderSist oppdatert: 2023-08-07
Alle feilene over har blitt korrigert for 2. opplag av boken. Følgende finnes dermed i begge opplag.
Alle feilene over har blitt korrigert for 3. opplag av boken. Følgende finnes dermed i tre opplag.
Alle feilene over har blitt korrigert for 6. opplag av boken. Følgende finnes dermed i alle opplag.
Alle feilene over har blitt korrigert for 7. opplag av boken. Følgende finnes dermed i alle opplag.