Finner retningen …
Finner retningen …
Laster botkontroll.
Gjennomsnittlig svar: ingen svar
Gjennomsnittlig svar: ingen svar
Gjennomsnittlig svar: ingen svar
Gjennomsnittlig svar: ingen svar
KARAKTERFORDELING · V 2025
39 kandidater
Alle delene må normalt være bestått. Karakterfordelingen over gjelder emnet samlet.
Kilde: Felles studentsystem (FS) via NTNU, slik den var publisert for høsten 2026. NTNU er ikke ansvarlig for innholdet på denne siden.
NTNU sin egen emnebeskrivelse — læringsutbytte, innhold og vurderingsform.
Emnet gir en innføring i formallogikk. Formallogikk studerer de logiske forholdene mellom setninger, or gir studenten ferdigheter som er nødvendige for å forstå hva som kjennetegner gode argumenter. Kjennskap til de grunnleggende begrepene i formallogikk er også en forutsetning for å kunne forstå mange sentrale tekster i filosofi.
Sentrale tema er: oversettelse fra naturlig språk til logisk språk (både setningslogikk og første ordens predikatlogikk); vurdering av logisk gyldighet; bevisprosedyrer.
En kandidat som har bestått emnet forventes å ha følgende totale læringsutbytte i henhold til studieplanens beskrivelse av emnet, definert som kunnskaper og ferdigheter:
Kunnskaper:
Ferdigheter:
Seminar og egenaktivitet.
Studenten må ha minst 80% oppmøte på seminarene, som inkluderer øvinger og diskusjon. Digitale læringsressurser blir gjort tilgjengelig for studentene for selvstudium. Obligatorisk aktivitet kan bare gjennomføres det semestert det er undervisning, men er gyldig både dette og påfølgende semester.
Kilde: Felles studentsystem (FS) via NTNU, slik den var publisert for høsten 2026. NTNU er ikke ansvarlig for innholdet på denne siden.
Hva burde andre vite før de tar dette? Anonymt, ingen innlogging.
Basert på hvor kandidatene til eksamen var registrert (DBH).
Emner som tas i de samme studieprogrammene som FI1005.
| Semester | Kandidater | Snitt | Stryk |
|---|---|---|---|
| Vår 2025 | 39 | C (3.21) | 0 % |
| Vår 2024 | 23 | C (2.78) | 13 % |
| Vår 2023 | 37 | D (2.32) | 16,2 % |