| source Universitetet i Bergen (X) |
level |
department Logikk (X) |
Vår Norsk Ope emne LOG101 gjev ei innføring i det formelle språket som blir nytta i setningslogikk og første ordens predikatlogikk, men hovudvekta vert lagt på metodar for å avgjere om argument og setningar i desse språka er gyldige eller konsistente. Emnet gjev ei innføring både i naturleg deduksjon og i den såkalla tre-metoden for setnings- og predikatlogikken. I samband med tre-metoden vert det presentert prov for visse metalogiske eigenskapar ved denne metoden, nemlig at gyldigheit og konsistens kan avgjerast i setningslogikken, og at setnings- og predikatlogikken er sunn og fullstendig. I tillegg vert det gjeve ei innføring i modellteori og mengdeteori. Kurset skal gje studenten eit oversyn over setningslogikk og første ordens predikatlogikk. Meir spesifikt skal studenten kunne analysere setningar og argument i naturleg språk med omsyn til deira logiske form, og avgjere om ei mengd av setningar er konsistente, eller om eit argument er gyldig. Vidare skal studenten kjenne til ulike metalogiske eigenskapar, og til prova for desse i samband med tre-metoden. LOG101 føreset evne til å handtera symbol, men krev ingen matematiske forkunnskapar. Pensum er sett saman av litteratur på engelsk, og studentane bør difor ha språkkunnskapar som svarar til engelsk A-språk i den vidaregåande skulen. Ut over dette vert det ikkje kravd spesielle forkunnskapar. Undervisninga er basert på førelesingar og kollokvia, og det vert rekna med aktiv deltaking frå studentane. Førelesningar: 2 timar per veke i 13 veker, totalt 26 timar. Kollokvia: 2 timar per veke i 8 veker, totalt 16 timar. Om det melder seg færre enn fire studentar blir talet på samlingar redusert. Den einskilde student vil samstundes bli tilbode individuell eller grupperettleiing som kompensasjon for samlingane. Ingen Det vert arrangert tre skriftlege prøvar, kvar på to timar, i løpet av semesteret. Studentane vil få tilbod om tilbakemelding på prøvane etter kvart som dei er gjennomførte. Prøvane vil inngå i ei mappe som dannar grunnlaget for sluttvurderinga, der kvar prøve utgjer 1/3 av vurderingsgrunnlaget. Tidspunkta for prøvene vert kunngjort i universitetet sin eksamensplan. Alle dei tre prøvane må vere beståtte før sluttvurdering vil bli gjennomførd. Studentar som stryk på ei eller fleire av prøvane, vil kunne ta den eller desse på nytt i første semester etter undervisningssemesteret. Tilletne hjelpemiddel: Ingen Karakterskala frå A-F Emnet vert evaluert med jamne mellomrom. studierettleiar@fof.uib.no Bergen
Score: 14.200167 Details | Listing | Web page
Vår Norsk Ope emne LOG101 gjev ei innføring i det formelle språket som blir nytta i setningslogikk og første ordens predikatlogikk, men hovudvekta vert lagt på metodar for å avgjere om argument og setningar i desse språka er gyldige eller konsistente. Emnet gjev ei innføring både i naturleg deduksjon og i den såkalla tre-metoden for setnings- og predikatlogikken. I samband med tre-metoden vert det presentert prov for visse metalogiske eigenskapar ved denne metoden, nemlig at gyldigheit og konsistens kan avgjerast i setningslogikken, og at setnings- og predikatlogikken er sunn og fullstendig. I tillegg vert det gjeve ei innføring i modellteori og mengdeteori. Kurset skal gje studenten eit oversyn over setningslogikk og første ordens predikatlogikk. Meir spesifikt skal studenten kunne analysere setningar og argument i naturleg språk med omsyn til deira logiske form, og avgjere om ei mengd av setningar er konsistente, eller om eit argument er gyldig. Vidare skal studenten kjenne til ulike metalogiske eigenskapar, og til prova for desse i samband med tre-metoden. LOG101 føreset evne til å handtera symbol, men krev ingen matematiske forkunnskapar. Pensum er sett saman av litteratur på engelsk, og studentane bør difor ha språkkunnskapar som svarar til engelsk A-språk i den vidaregåande skulen. Ut over dette vert det ikkje kravd spesielle forkunnskapar. Undervisninga er basert på førelesingar og kollokvia, og det vert rekna med aktiv deltaking frå studentane. Førelesningar: 2 timar per veke i 13 veker, totalt 26 timar. Kollokvia: 2 timar per veke i 8 veker, totalt 16 timar. Om det melder seg færre enn fire studentar blir talet på samlingar redusert. Den einskilde student vil samstundes bli tilbode individuell eller grupperettleiing som kompensasjon for samlingane. Ingen Det vert arrangert tre skriftlege prøvar, kvar på to timar, i løpet av semesteret. Studentane vil få tilbod om tilbakemelding på prøvane etter kvart som dei er gjennomførte. Prøvane vil inngå i ei mappe som dannar grunnlaget for sluttvurderinga, der kvar prøve utgjer 1/3 av vurderingsgrunnlaget. Tidspunkta for prøvene vert kunngjort i universitetet sin eksamensplan. Alle dei tre prøvane må vere beståtte før sluttvurdering vil bli gjennomførd. Studentar som stryk på ei eller fleire av prøvane, vil kunne ta den eller desse på nytt i første semester etter undervisningssemesteret. Tilletne hjelpemiddel: Ingen Karakterskala frå A-F Emnet vert evaluert med jamne mellomrom. studierettleiar@fof.uib.no Bergen
Score: 14.200167 Details | Listing | Web page