Tilbage
 

Jørgen Villadsen

Jørgen Villadsen

Lektor

DTU COMPUTE
Institut for Matematik og Computer Science

Danmarks Tekniske Universitet

Richard Petersens Plads

Bygning 322, rum 020

2800 Kgs. Lyngby

Tlf. 45 25 37 33
E-mail jovi@dtu.dk
ORCID 0000-0003-3624-1159
Hjemmeside
vCard

Få tilsendt vCard på e-mail.

Profil
Research output
Projects
Kurser
LoadingText

Kurser

Alle (3) Kursusansvarlig (3)

02100

Indledende programmering og softwareteknologi

Kursusansvarlig:  Jørgen Villadsen; Carsten Witt

02156

Logiske Systemer og Logikprogrammering

Kursusansvarlig:  Jørgen Villadsen

02256

Automatiseret Ræsonnering

Kursusansvarlig:  Jørgen Villadsen