Bruker:Tobiasvl

(Forskjell mellom revisjoner)
Gå til: navigasjon, søk
m
m
Linje 5: Linje 5:
 
===CV===
 
===CV===
 
====Kurs jeg tar v10====
 
====Kurs jeg tar v10====
*INF3170
+
*INF3170 - Logikk
*INF3230
+
*INF3230 - Formell modellering og analyse av kommuniserende systemer
*INF5170
+
*INF5170 - Masterseminar i logikk
*INF5810
+
*INF5810 - Modallogikk
  
 
====Kurs jeg har tatt====
 
====Kurs jeg har tatt====
*INF5830
+
*INF5830 - Prosessering av naturlige språk
*INF4820
+
*INF4820 - Algoritmer for kunstig intelligens og naturlige språk
*INF3110
+
*INF3110 - Programmeringsspråk
*INF2820
+
*INF2820 - Datalingvistikk
*INF2810
+
*INF2810 - Funksjonell programmering
*INF2270
+
*INF2270 - Datamaskinarkitektur
*INF2220
+
*INF2220 - Algoritmer og datastrukturer
*INF1800
+
*INF1800 - Logikk og beregnbarhet
*INF1300
+
*INF1300 - Introduksjon til databaser
*INF1060
+
*INF1060 - Operativsystemer og datakommunikasjon
*INF1050
+
*INF1050 - Systemutvikling
*INF1010
+
*INF1010 - Objektorientert programmering
*INF1000
+
*INF1000 - Grunnkurs i objektorientert programmering
*MAT1030
+
*MAT1030 - Diskret matematikk
*MAT1001
+
*MAT1001 - Matematikk 1
*MAT-INF3600
+
*MAT-INF3600 - Matematisk logikk
*LING2100
+
*LING2100 - Semantikk og pragmatikk 2
*LING1102
+
*LING1102 - Syntaks og semantikk 1
*LING1101
+
*LING1101 - Fonetikk, fonologi og morfologi 1
*ITSLP5000
+
*ITSLP5000 - Introduksjon til masterstudier i IT-SLP
*HUMIT1760MN
+
*HUMIT1760MN - Kognitive vitenskaper
*HUMIT1730
+
*HUMIT1730 - Hypermedier
*RETKOM1100
+
*RETKOM1100 - Moderne retorikk og språklig kommunikasjon
*AST1010
+
*AST1010 - Astronomi - En kosmisk reise
*SVLED1900
+
*SVLED1900 - Studentledelse
 
*EXPHIL03
 
*EXPHIL03
  

Revisjonen fra 28. jan 2010 kl. 23:47

Innhold

Tobias V. Langhoff

  • Masterstudent i logikk
  • Termvakt på VB

CV

Kurs jeg tar v10

  • INF3170 - Logikk
  • INF3230 - Formell modellering og analyse av kommuniserende systemer
  • INF5170 - Masterseminar i logikk
  • INF5810 - Modallogikk

Kurs jeg har tatt

  • INF5830 - Prosessering av naturlige språk
  • INF4820 - Algoritmer for kunstig intelligens og naturlige språk
  • INF3110 - Programmeringsspråk
  • INF2820 - Datalingvistikk
  • INF2810 - Funksjonell programmering
  • INF2270 - Datamaskinarkitektur
  • INF2220 - Algoritmer og datastrukturer
  • INF1800 - Logikk og beregnbarhet
  • INF1300 - Introduksjon til databaser
  • INF1060 - Operativsystemer og datakommunikasjon
  • INF1050 - Systemutvikling
  • INF1010 - Objektorientert programmering
  • INF1000 - Grunnkurs i objektorientert programmering
  • MAT1030 - Diskret matematikk
  • MAT1001 - Matematikk 1
  • MAT-INF3600 - Matematisk logikk
  • LING2100 - Semantikk og pragmatikk 2
  • LING1102 - Syntaks og semantikk 1
  • LING1101 - Fonetikk, fonologi og morfologi 1
  • ITSLP5000 - Introduksjon til masterstudier i IT-SLP
  • HUMIT1760MN - Kognitive vitenskaper
  • HUMIT1730 - Hypermedier
  • RETKOM1100 - Moderne retorikk og språklig kommunikasjon
  • AST1010 - Astronomi - En kosmisk reise
  • SVLED1900 - Studentledelse
  • EXPHIL03

Misc

  • IT-ansvarlig i MNSU og varamedlem i programrådet til IT-SLP
  • Medlem av FUI
  • Studentrepresentant i Norsk fagråd for informasjonsvitenskap
  • Er senator (og har vært leder, nestleder, og IT-ansvarlig) i Filologisk Forening (driver bl.a. Uglebo)
  • Har vært gruppelærer i INF1000, INF1010, og INF1800 tidligere, pluss obligretter i INF1300 og øvingsveileder (termvakt/orakel) på terminalstua Hundremeterskogen (se 100m/parkmap)
  • Var h09 vitenskapelig ansatt på et prosjekt på forskningsgruppa Logikk og naturlige språk

Kontakt

Eksterne lenker

Personlige verktøy
Varianter
Handlinger
Navigasjon
Kategorier
Programvare
Andre
Translate
Verktøy