Matematik GR (B), Logik, 6 hp
Observera att kurslitteraturen kan ändras/revideras fram till:
• 1 juni för en kurs som startar på höstterminen
• 15 november för en kurs som startar på vårterminen
• 1 april för en kurs som startar på sommaren
Skriv ut eller spara kursplanen som PDF
Du kan enkelt skriva ut en kursplan direkt från webbsidan. Använd kortkommandot ctrl+p (Windows) eller command+p (Mac). I nästa steg väljer du om du vill skriva ut eller spara kursplanen som PDF.
För en nedlagd kurs kan eventuell information om avvecklingsperiod hittas under rubriken "Övergångsregel" i senaste versionen av kursplanen.
Kursplanen är nedlagd
Kursplan för:
Matematik GR (B), Logik, 6 hp
Mathematics BA (B), Logic, 6 Higher Education Credits
Allmänna data om kursen
- Kurskod: MA110G
- Ämne huvudområde: Matematik
- Nivå: Grundnivå
- Progression: (B)
- Högskolepoäng: 6
- Fördjupning vs. Examen: G1F - Kursen ligger på grundnivå och fordrar mindre än 60 hp kurs(er) på grundnivå som förkunskapskrav.
- Utbildningsområde: Naturvetenskap 100%
- Ansvarig fakultet: Fakulteten för naturvetenskap, teknik och medier
- Ansvarig institution: Institutionen för naturvetenskap, teknik och matematik
- Fastställd: 2010-01-18
- Giltig fr.o.m: 2010-07-01
Syfte
Den studerande skall under kursen tillägna sig grundläggande kunskaper och färdigheter om sats- och predikatlogik, samt vissa centrala metalogiska resultat för denna.
Lärandemål
Efter avslutad kurs skall studenten:
- kunna översätta enkla påståenden till och från sats- och predikatlogiska utsagor
- behärska de grundläggande begreppen av satslogikens semantik och modellteorin
- känna till och kunna tillämpa de grundläggande logiska slutledningsreglerna
- kunna genomföra enkla härledningar i sats- och predikatlogik med naturlig deduktion och resolution
- känna till och kunna tillämpa de grundläggande satserna om sats- och predikatslogikens sundhet och fullständighet
Innehåll
Sats- och predikatlogik. Översättningar, syntax och semantik. Naturlig deduktion, resolutionsmetoden. Sundhet och fullständighet för sats- och predikatlogiken.
Behörighet
Matematik/Tillämpad matematik GR (A), Introduktionskurs, 6 hp.
Urvalsregler
Urval sker i enlighet med Högskoleförordningen och den lokala antagningsordningen.
Undervisning
Undervisningen bedrivs i form av föreläsningar och övningar eller i form av självstudier och lärarledda sammankomster, eventuellt kombinerade med andra undervisningsformer.
Examination
I regel skriftlig tentamen. Inlämningsuppgifter och/eller muntlig tentamen kan förekomma.
Betygskriterier finns på www.miun.se/betygskriterier.
Betygsskala
På kursen ges något av betygen A, B, C, D, E, Fx och F. A - E är Godkänt, Fx och F är underkänt.
Litteratur
Obligatorisk litteratur
- Författare/red: Hansen, K.B.
- Titel: Grundläggande logik
- Upplaga: 4
- Förlag: Studentlitteratur
Referenslitteratur
- Författare/red: Hamilton, A.G.
- Titel: Logic for Mathematicians
- Förlag: Cambridge University Press
- Författare/red: van Dalen, D.
- Titel: Logic and Structure
- Upplaga: 4
- Förlag: Springer