ANMAT5930 ¨C Masteroppgave i anvendt matematikk og mekanikk 30 studiepoeng (30 studiepoeng) |
30 |
ANMAT5960 ¨C Masteroppgave i anvendt matematikk og mekanikk 60 studiepoeng (60 studiepoeng) |
60 |
AST5210 ¨C Stjerneatmosf?rer I (10 studiepoeng) |
10 |
BIO4000 ¨C Temaer i samfunns?kologi (5 studiepoeng) |
5 |
BIO4005 ¨C Primate Behaviour and Ecology (10 studiepoeng) |
10 |
BIO4021 ¨C Gradientanalyseteknikker (10 studiepoeng) |
10 |
BIO4050 ¨C Populasjons?kologi hos fastsittende organismer (10 studiepoeng) |
10 |
BIO4070 ¨C Plantefysiologi (10 studiepoeng) |
10 |
BIO4091 ¨C Adferdsbiologi 2 (10 studiepoeng) |
10 |
BIO4110 ¨C ?kologisk modellering i GIS (5 studiepoeng) |
5 |
BIO4115 ¨C Utbredelsesmodellering (10 studiepoeng) |
10 |
BIO4120 ¨C Norsk naturvariasjon - typeinndeling, beskrivelse og kartlegging av natur basert p? Natur i Norge (NiN) (10 studiepoeng) |
10 |
BIO4140 ¨C Livshistoriestrategier og klimaeffekter (10 studiepoeng) |
10 |
BIO4150 ¨C Bevarings- og forvaltningsbiologi (10 studiepoeng) |
10 |
BIO4160 ¨C Ny litteratur innen mikrobiell ?kologi og metagenomikk (5 studiepoeng) |
5 |
BIO4170 ¨C Ny litteratur innen mikrobiell evolusjon?r genomikk (5 studiepoeng) |
5 |
BIO4200 ¨C Molekyl?r evolusjon (10 studiepoeng) |
10 |
BIO4210 ¨C Fylogeni og klassifikasjon (10 studiepoeng) |
10 |
BIO4220 ¨C Naturlig utvalg og tilpasninger (10 studiepoeng) |
10 |
BIO4230 ¨C Biogeografi og biodiversitet (10 studiepoeng) |
10 |
BIO4240 ¨C Evolusjon og systematikk i utvalgte grupper: dyreriket (10 studiepoeng) |
10 |
BIO4250 ¨C Evolusjon og systematikk i utvalgte grupper: planteriket (10 studiepoeng) |
10 |
BIO4260 ¨C Evolusjon og systematikk i utvalgte grupper: soppriket (10 studiepoeng) |
10 |
BIO4270 ¨C Evolusjon og spr?k (10 studiepoeng) |
10 |
BIO4280 ¨C Evolusjon?r utviklingsbiologi og makroevolusjon (10 studiepoeng) |
10 |
BIO4301 ¨C Marin bentisk ?kologi (10 studiepoeng) |
10 |
BIO4310 ¨C Limnologi I (10 studiepoeng) |
10 |
BIO4320 ¨C Marine algers systematikk og ?kologi (10 studiepoeng) |
10 |
BIO4325 ¨C Identification of Marine Microalgae and Macroalgae (5 studiepoeng) |
5 |
BIO4331 ¨C Menneskelig p?virkning p? det marine milj? (10 studiepoeng) |
10 |
BIO4350 ¨C Sj?ens pattedyr (10 studiepoeng) |
10 |
BIO4371 ¨C Fiske?kologi (10 studiepoeng) |
10 |
BIO4381 ¨C Giftige alger og algedyrking (10 studiepoeng) |
10 |
BIO4390 ¨C Limnologi II (10 studiepoeng) |
10 |
BIO4400 ¨C Pelagisk ?kologi (10 studiepoeng) |
10 |
BIO4500 ¨C Generell toksikologi (10 studiepoeng) |
10 |
BIO4530 ¨C Regulatorisk toksikologi (5 studiepoeng) |
5 |
BIO4540 ¨C Humantoksikologi (10 studiepoeng) |
10 |
BIO4550 ¨C ?kotoksikologi (10 studiepoeng) |
10 |
BIO4600 ¨C Vitenskapelig forfatterskap (5 studiepoeng) |
5 |
BIO5000 ¨C Introduksjonskurs for masterstudenter (5 studiepoeng) |
5 |
BIO5930L ¨C Masteroppgave i biologi, Lektorprogrammet (30 studiepoeng) |
30 |
BIOS4611 ¨C Plantevitenskap (10 studiepoeng) |
10 |
BIOS5113 ¨C Bevarings- og forvaltningsbiologi (10 studiepoeng) |
10 |
BIOS5500 ¨C Vitenskapelig forfatterskap (5 studiepoeng) |
5 |
ENT4100 ¨C Ideation and Feasibility Studies (10 studiepoeng) |
10 |
ENT4194 ¨C Consultancy Project (4 studiepoeng) |
4 |
ENT4210 ¨C Practical Innovation Management (10 studiepoeng) |
10 |
ENT4220 ¨C Norwegian Practical Start-up Experience (10 studiepoeng) |
10 |
ENT4320 ¨C Marketing Management (5 studiepoeng) |
5 |
FRM-KJM5050 ¨C Bioanalytisk kjemi I: avanserte separasjonsmetoder og bioanalyse (10 studiepoeng) |
10 |
FRM-MBV4860 ¨C Molekyl?r og farmas?ytisk mikrobiologi (10 studiepoeng) |
10 |
FRM-MBV5060 ¨C Molekyl?r og farmas?ytisk mikrobiologi (10 studiepoeng) |
10 |
FRM4010 ¨C Öйú¾º²ÂÍø_Öйú×ã²ÊÍø-×ãÇòÍƼösforberedende kurs i biologi (5 studiepoeng) |
5 |
FRM4020 ¨C Öйú¾º²ÂÍø_Öйú×ã²ÊÍø-×ãÇòÍƼösforberedende kurs i legemiddelanalyse (5 studiepoeng) |
5 |
FRM4030 ¨C Öйú¾º²ÂÍø_Öйú×ã²ÊÍø-×ãÇòÍƼösforberedende kurs i farmakognosi og legemiddelkjemi (5 studiepoeng) |
5 |
FRM4040 ¨C Öйú¾º²ÂÍø_Öйú×ã²ÊÍø-×ãÇòÍƼösforberedende metodekurs for samfunnsfarmas?ytiske prosjekter (5 studiepoeng) |
5 |
FRM4050 ¨C Öйú¾º²ÂÍø_Öйú×ã²ÊÍø-×ãÇòÍƼösforberedende kurs i klinisk farmasi (5 studiepoeng) |
5 |
FRM4060 ¨C Öйú¾º²ÂÍø_Öйú×ã²ÊÍø-×ãÇòÍƼösforberedende kurs i galenisk farmasi (5 studiepoeng) |
5 |
FRM4110 ¨C Anvendt statistikk for farmas?yter (10 studiepoeng) |
10 |
FRM4610V ¨C Klinisk kjemi i relasjon til legemiddelbruk (6 studiepoeng) |
6 |
FRM5105 ¨C Polysakkarider av farmas?ytisk interesse, kjemiske egenskaper (5 studiepoeng) |
5 |
FRM5110 ¨C Polysakkarider av farmas?ytisk interesse; fysikalske og kjemiske egenskaper, samt biologisk aktivitet (10 studiepoeng) |
10 |
FRM5210 ¨C Organisk kjemisk basert legemiddeldesign (10 studiepoeng) |
10 |
FRM5220 ¨C Industriell legemiddelutvikling (erstatter tidligere PKO320) (10 studiepoeng) |
10 |
FRM5230 ¨C Syntese av legemidler (10 studiepoeng) |
10 |
FRM5240 ¨C Introduksjon til Positron Emisjon Tomografi (PET) radiofarmaka og bildediagnostikk (5 studiepoeng) |
5 |
FRM5310 ¨C Farmas?ytisk bioanalyse (10 studiepoeng) |
10 |
FRM5410 ¨C Farmas?ytiske naturstoffer (10 studiepoeng) |
10 |
FRM5420 ¨C Etnofarmakologi (10 studiepoeng) |
10 |
FRM5440 ¨C Utvalgte farmas?ytiske naturstoffer (5 studiepoeng) |
5 |
FRM5510 ¨C Statistisk fors?ksplanlegging for industriell farmas?ytisk utvikling (10 studiepoeng) |
10 |
FRM5520 ¨C Videreg?ende legemiddelformulering, produksjon og kvalitetskontroll (10 studiepoeng) |
10 |
FRM5530 ¨C Formulering og m?lstyring av legemidler (10 studiepoeng) |
10 |
FRM5540 ¨C Fotoreaktivitet av legemidler (10 studiepoeng) |
10 |
FRM5560 ¨C Nye legemiddelprinsipper i kreftbehandlingen (10 studiepoeng) |
10 |
FRM5570 ¨C V?sketerapi og ern?ring (5 studiepoeng) |
5 |
FRM5610 ¨C Legemiddel?konomi (10 studiepoeng) |
10 |
FRM5630 ¨C Use of medicines in a Global Society (5 studiepoeng) |
5 |
FRM5640 ¨C Pharmacoepidemiology Study Design and Manuscript Writing (10 studiepoeng) |
10 |
FRM5710 ¨C Farmakologi, videreg?ende (10 studiepoeng) |
10 |
FRM5720 ¨C Legemiddeltoksikologi (10 studiepoeng) |
10 |
FRM5730 ¨C Klinisk legemiddelutpr?ving (10 studiepoeng) |
10 |
FRM5740 ¨C Videreg?ende Farmakokinetikk (10 studiepoeng) |
10 |
FRM5750 ¨C Nevrobiologi (10 studiepoeng) |
10 |
FRM5760 ¨C Videreg?ende farmakoterapi - kompliserte legemiddelregimer (10 studiepoeng) |
10 |
FRM5770 ¨C Medisinsk biokjemi i relasjon til legemiddelbruk (5 studiepoeng) |
5 |
FRM5810 ¨C Farmas?ytisk mikrobiologi (10 studiepoeng) |
10 |
FRM5820 ¨C Immunologi (10 studiepoeng) |
10 |
FRM5910V ¨C Farmas?yten i helsevesenet (20 studiepoeng) |
20 |
FRM5922V ¨C Klinisk kjemi i relasjon til legemiddelbruk, del II (4 studiepoeng) |
4 |
FRM5930V ¨C Videreg?ende farmakoterapi I (14 studiepoeng) |
14 |
FRM5940V ¨C Videreg?ende farmakoterapi II (20 studiepoeng) |
20 |
FYS-GEO4010 ¨C Research project I (10 studiepoeng) |
10 |
FYS-GEO4020 ¨C Research project II (20 studiepoeng) |
20 |
FYS-GEO4030 ¨C Research project III (30 studiepoeng) |
30 |
FYS-GEO4110 ¨C Scientific Communication and Research Ethics (10 studiepoeng) |
10 |
FYS-GEO4200 ¨C Case studium i geologiske prosessers fysikk (10 studiepoeng) |
10 |
FYS-GEO4300 ¨C Metoder i geologiske prosessers fysikk (10 studiepoeng) |
10 |
FYS-GEO4500 ¨C Finite Volume Methods for Geophysical Fluid Physics (10 studiepoeng) |
10 |
FYS-GEO4510 ¨C Introduksjon til mekanisk geo-modellering (10 studiepoeng) |
10 |
FYS-GEO4520 ¨C Introduction to thermodynamic geomodeling (10 studiepoeng) |
10 |
FYS-KJM4480 ¨C Quantum mechanics for many-particle systems (10 studiepoeng) |
10 |
FYS-KJM4580 ¨C Nuclear Technology (10 studiepoeng) |
10 |
FYS-KJM4710 ¨C Str?ling og str?lingsdosimetri (10 studiepoeng) |
10 |
FYS-KJM4740 ¨C MR-teori og medisinsk diagnostikk (10 studiepoeng) |
10 |
FYS-KJM5920 ¨C Nukle?re m?lemetoder og instrumentering (10 studiepoeng) |
10 |
FYS-MED4750 ¨C Medisinsk avbildning (5 studiepoeng) |
5 |
FYS-MEK4500 ¨C Finite Volume Methods for Geophysical Fluid Physics (10 studiepoeng) |
10 |
FYS4010 ¨C Research project I (10 studiepoeng) |
10 |
FYS4020 ¨C Research project II (20 studiepoeng) |
20 |
FYS4030 ¨C Research project III (30 studiepoeng) |
30 |
FYS4180 ¨C Eksperimentelle metoder i fysikk (10 studiepoeng) |
10 |
FYS4190 ¨C Dynamiske systemer og kaos (10 studiepoeng) |
10 |
FYS4230 ¨C Mikro- og nanosystem modellering og design (10 studiepoeng) |
10 |
FYS4350 ¨C Medisinsk teknologi - utplassering i klinisk milj? (10 studiepoeng) |
10 |
FYS4515 ¨C Kjernefysikk I (10 studiepoeng) |
10 |
FYS4540 ¨C Energifysikk- solenergi (10 studiepoeng) |
10 |
FYS4550 ¨C Eksperimentell h?yenergifysikk (10 studiepoeng) |
10 |
FYS4560 ¨C Element?rpartikkelfysikk (10 studiepoeng) |
10 |
FYS4610 ¨C Magnetosf?riske prosesser (10 studiepoeng) |
10 |
FYS4630 ¨C Str?lingstransport i atmosf?ren (10 studiepoeng) |
10 |
FYS4750 ¨C Medisinsk avbildning (5 studiepoeng) |
5 |
FYS4760 ¨C Fysikk i medisinsk r?ntgendiagnostikk (10 studiepoeng) |
10 |
FYS4761 ¨C CT- og r?ntgendiagnostikk (5 studiepoeng) |
5 |
FYS5130 ¨C Kosmologisk fysikk (10 studiepoeng) |
10 |
FYS5440 ¨C Neutron scattering methods for materials research (3 studiepoeng) |
3 |
GEF4200 ¨C Dynamisk meteorologi I (10 studiepoeng) |
10 |
GEF4210 ¨C Dynamic meteorology II (10 studiepoeng) |
10 |
GEF4220 ¨C Predictability of Weather and Climate (10 studiepoeng) |
10 |
GEF4310 ¨C Cloud physics (10 studiepoeng) |
10 |
GEF4320 ¨C Radiation and remote sensing (10 studiepoeng) |
10 |
GEF4330 ¨C Dispersion of air pollutions (10 studiepoeng) |
10 |
GEF4400 ¨C The Earth System (10 studiepoeng) |
10 |
GEF4450 ¨C Geofysisk fluiddynamikk (10 studiepoeng) |
10 |
GEF4500 ¨C Atmosphere-Ocean Dynamics (10 studiepoeng) |
10 |
GEF4510 ¨C Atmosphere and Oceans on Computers: Fundamentals (10 studiepoeng) |
10 |
GEF4520 ¨C Turbulence in the Atmosphere and Ocean (5 studiepoeng) |
5 |
GEF4530 ¨C The General Circulation of the Atmosphere (10 studiepoeng) |
10 |
GEF4600 ¨C Methods in physical oceanography (10 studiepoeng) |
10 |
GEF4610 ¨C Dynamic oceanography: Waves and wave-induced mass transport in the ocean (10 studiepoeng) |
10 |
GEF4640 ¨C Marine Optics (10 studiepoeng) |
10 |
GEF4650 ¨C Estuaries (10 studiepoeng) |
10 |
GEF4660 ¨C The General Circulation of the Oceans (10 studiepoeng) |
10 |
GEO-FYS4200 ¨C Case study in physics of geological processes (10 studiepoeng) |
10 |
GEO4011 ¨C Field Course in Basin Analysis (5 studiepoeng) |
5 |
GEO4013 ¨C Field excursion in Physical Geography and Hydrology (5 studiepoeng) |
5 |
GEO4020 ¨C Soil- and groundwater (10 studiepoeng) |
10 |
GEO4070 ¨C C++ and C programming (5 studiepoeng) |
5 |
GEO4080 ¨C Applied geographical information management (5 studiepoeng) |
5 |
GEO4130 ¨C Engineering Geology and Geomechanics (10 studiepoeng) |
10 |
GEO4160 ¨C Fate and transport of organic contaminants in the environment (10 studiepoeng) |
10 |
GEO4170 ¨C Landslides and debris flow (10 studiepoeng) |
10 |
GEO4180 ¨C Geohazard and Mitigation (10 studiepoeng) |
10 |
GEO4181 ¨C Introduction to Natural Hazards (10 studiepoeng) |
10 |
GEO4220 ¨C Depositional environments and biostratigraphy (10 studiepoeng) |
10 |
GEO4230 ¨C Basin formation and sequence stratigraphy (10 studiepoeng) |
10 |
GEO4270 ¨C Integrated basin analysis and prospect evaluation (10 studiepoeng) |
10 |
GEO4310 ¨C Stochastic methods in hydrology (10 studiepoeng) |
10 |
GEO4330 ¨C Advanced hydrological modelling (10 studiepoeng) |
10 |
GEO4350 ¨C Environmental Hazards and Risk Analysis (10 studiepoeng) |
10 |
GEO4430 ¨C Snow, Snow Hydrology and Avalanches (10 studiepoeng) |
10 |
GEO4440 ¨C Vannressursforvaltning (10 studiepoeng) |
10 |
GEO4441 ¨C Physical river processes (10 studiepoeng) |
10 |
GEO4511 ¨C Anvendelse av fjernanalyse og terrengmodeller (DEM) i geohazard (10 studiepoeng) |
10 |
GEO4710 ¨C Evolution of life (10 studiepoeng) |
10 |
GEO4720 ¨C General micropaleontology (10 studiepoeng) |
10 |
GEO4730 ¨C Palaeozoology I (10 studiepoeng) |
10 |
GEO4740 ¨C Palaeozoology II (10 studiepoeng) |
10 |
GEO4820 ¨C Isotope geology (10 studiepoeng) |
10 |
GEO4830 ¨C Analytical methods in geochemistry (10 studiepoeng) |
10 |
GEO4860 ¨C Advanced Petrology (10 studiepoeng) |
10 |
GEO4900 ¨C Atmosf?re-havdynamikk (10 studiepoeng) |
10 |
GEO4910 ¨C Mineral resources (10 studiepoeng) |
10 |
GEO4920 ¨C Predictability of Weather and Climate (10 studiepoeng) |
10 |
GEO4922 ¨C Cloud Physics (10 studiepoeng) |
10 |
GEO5800 ¨C Earth and Planetary Materials and Dynamics (5 studiepoeng) |
5 |
GEO5910 ¨C CO2 storage - Physical and chemical processes (10 studiepoeng) |
10 |
GEO5912 ¨C Geological Storage of CO2 ¨C Introduction and Geological Constraints (8 studiepoeng) |
8 |
IN-STK5100 ¨C Reinforcement Learning and Decision Making Under Uncertainty (10 studiepoeng) |
10 |
IN4010 ¨C Acoustic Imaging (10 studiepoeng) |
10 |
IN5270 ¨C Numeriske metoder for partielle differensiallikninger (10 studiepoeng) |
10 |
IN5280 ¨C Security by Design (10 studiepoeng) |
10 |
IN5330 ¨C Health Management Information Systems (10 studiepoeng) |
10 |
IN5400 ¨C Maskinl?ring for bildeanalyse (10 studiepoeng) |
10 |
IN5430 ¨C IT and Management (10 studiepoeng) |
10 |
IN5520 ¨C Digital bildeanalyse (10 studiepoeng) |
10 |
INF-BIO5120 ¨C Dypsekvenserings-teknologier og bioinformatisk analyse (5 studiepoeng) |
5 |
INF-BIO5121 ¨C High Throughput Sequencing technologies and bioinformatics analysis (10 studiepoeng) |
10 |
INF-GEO4310 ¨C Avbildning (10 studiepoeng) |
10 |
INF-MAT4350 ¨C Numerisk line?r algebra (10 studiepoeng) |
10 |
INF-MAT5340 ¨C Spline metoder (10 studiepoeng) |
10 |
INF-MAT5350 ¨C Numerisk analyse (10 studiepoeng) |
10 |
INF-MAT5360 ¨C Matematisk optimering (10 studiepoeng) |
10 |
INF-MAT5380 ¨C Lokals?k og meta-heuristikker for kombinatorisk optimering (5 studiepoeng) |
5 |
INF-MAT5390 ¨C Splines for Geometry and PDE's (10 studiepoeng) |
10 |
INF-STK5010 ¨C Statistical Bioinformatics - Learning from big data in the life sciences (10 studiepoeng) |
10 |
INF-STK9010 ¨C Statistical Bioinformatics - Learning from big data in the life sciences (10 studiepoeng) |
10 |
INF4015NSA ¨C Systems Automation and Scripting (10 studiepoeng) |
10 |
INF4017NSA ¨C Infrastructure Services and Operations (10 studiepoeng) |
10 |
INF4018NSA ¨C Enterprise Networking: Practices and Technologies (10 studiepoeng) |
10 |
INF4019NSA ¨C Service Management and Developer Operations (10 studiepoeng) |
10 |
INF4060 ¨C Interaksjonsdesign (10 studiepoeng) |
10 |
INF4121 ¨C Software Testing (10 studiepoeng) |
10 |
INF4130 ¨C Algoritmer: Design og effektivitet (10 studiepoeng) |
10 |
INF4140 ¨C Modeller for parallellitet (10 studiepoeng) |
10 |
INF4151 ¨C Operativsystemer (20 studiepoeng) |
20 |
INF4171 ¨C Logikk (10 studiepoeng) |
10 |
INF4231 ¨C Formell modellering og analyse av kommuniserende systemer (10 studiepoeng) |
10 |
INF4232 ¨C Logikk for systemanalyse (10 studiepoeng) |
10 |
INF4270 ¨C Information systems development in organizations (10 studiepoeng) |
10 |
INF4280 ¨C Development of IT competence in organisations (10 studiepoeng) |
10 |
INF4290 ¨C Software verification and validation (10 studiepoeng) |
10 |
INF4300 ¨C Digital bildeanalyse (10 studiepoeng) |
10 |
INF4331 ¨C Probleml?sning med h?yniv?-spr?k (10 studiepoeng) |
10 |
INF4340 ¨C Statistiske metoder i bioinformatikk (10 studiepoeng) |
10 |
INF4350 ¨C Grunnkurs i bioinformatikk (10 studiepoeng) |
10 |
INF4360 ¨C Topics in geometric modelling (10 studiepoeng) |
10 |
INF4380 ¨C Introduksjon til robotteknologi (10 studiepoeng) |
10 |
INF4411 ¨C Analog mikroelektronikk (10 studiepoeng) |
10 |
INF4420 ¨C Prosjekter i analog/mixed-signal CMOS konstruksjon (10 studiepoeng) |
10 |
INF4431 ¨C Digital systemkonstruksjon (10 studiepoeng) |
10 |
INF4470 ¨C Digital signalbehandling (10 studiepoeng) |
10 |
INF4480 ¨C Digital signalbehandling II (10 studiepoeng) |
10 |
INF4490 ¨C Biologically Inspired Computing (10 studiepoeng) |
10 |
INF4500 ¨C Rapid prototyping of robotic systems (10 studiepoeng) |
10 |
INF4580 ¨C Semantic technologies (10 studiepoeng) |
10 |
INF4800 ¨C S?keteknologi (10 studiepoeng) |
10 |
INF4820 ¨C Algoritmer for kunstig intelligens og naturlige spr?k (10 studiepoeng) |
10 |
INF4930 ¨C Graduate research in informatics (30 studiepoeng) |
30 |
INF5004NSA ¨C Intrusion detection and firewalls (10 studiepoeng) |
10 |
INF5011 ¨C Technology Society Ethics (10 studiepoeng) |
10 |
INF5012NSA ¨C Research Papers (5 studiepoeng) |
5 |
INF5013NSA ¨C Cyberethics (5 studiepoeng) |
5 |
INF5040 ¨C ?pen distribuert prosessering (10 studiepoeng) |
10 |
INF5050 ¨C Protokoller og ruting i Internett (10 studiepoeng) |
10 |
INF5062 ¨C Programming asymmetric multi-core processors (10 studiepoeng) |
10 |
INF5063 ¨C Programming heterogeneous multi-core architectures (10 studiepoeng) |
10 |
INF5071 ¨C Performance in distributed systems (10 studiepoeng) |
10 |
INF5072 ¨C Performance in Distributed Systems (10 studiepoeng) |
10 |
INF5081 ¨C Multimedia - koding og transmisjon (10 studiepoeng) |
10 |
INF5090 ¨C The Future Internet Protocols (10 studiepoeng) |
10 |
INF5100 ¨C Avanserte databasesystemer (10 studiepoeng) |
10 |
INF5100NSA ¨C Research Methods and Data Analysis (10 studiepoeng) |
10 |
INF5120 ¨C Modellbasert systemutvikling (10 studiepoeng) |
10 |
INF5130 ¨C Utvalgte emner i omskrivningslogikk (10 studiepoeng) |
10 |
INF5140 ¨C Kravspesifikasjon og verifikasjon av parallelle systemer (10 studiepoeng) |
10 |
INF5150 ¨C Uangripelige IT-systemer (10 studiepoeng) |
10 |
INF5160 ¨C Databehandlingsseminar (5 studiepoeng) |
5 |
INF5170 ¨C Masterseminar i logikk (5 studiepoeng) |
5 |