grade overview added
authorMart Lubbers <mart@martlubbers.net>
Sat, 29 Aug 2015 17:40:11 +0000 (19:40 +0200)
committerMart Lubbers <mart@martlubbers.net>
Sat, 29 Aug 2015 17:40:11 +0000 (19:40 +0200)
grades.ods [new file with mode: 0644]
planning.txt [deleted file]
vakken.txt [deleted file]

diff --git a/grades.ods b/grades.ods
new file mode 100644 (file)
index 0000000..6b72144
Binary files /dev/null and b/grades.ods differ
diff --git a/planning.txt b/planning.txt
deleted file mode 100644 (file)
index 6ce598a..0000000
+++ /dev/null
@@ -1,13 +0,0 @@
-Semester 1
-NWI-I00032     6       Advanced Programming
-NWI-I00110     6       Testing Techniques
-NWI-I00155     6       Design of Embedded Systems
-
-Semester 2
-NWI-IMC046     6       Model Checking
-NWI-IMC045     6       Research Seminar Software Science
-NWI-IMC004     6       Compiler Construction
-
-Semester 3
-
-Semester 4
diff --git a/vakken.txt b/vakken.txt
deleted file mode 100644 (file)
index a27ee57..0000000
+++ /dev/null
@@ -1,42 +0,0 @@
-Vakkenlijst
-
-Track basis (18 ec)
-NWI-I00032     1       6       Advanced Programming
-NWI-I00110     1       6       Testing Techniques
-NWI-IMC046     2       6       Model Checking
-
-Track electives (24 ec)
-Software Technology
-NWI-IMC004     2       6       Compiler Construction
-NWI-I00155     1       6       Design of Embedded Systems
-NWI-IMC052     1       6       Software Development in Start-ups
-NWI-IMC051     1       5       Software Security
-
-Computer-Aided Analysis:
-NWI-IMC035     2       6       Software Analysis
-NWI-IMC009     ?       6       Automated Reasoning [NOT OFFERED IN 2015-2016]
-NWI-I00139     2       6       Proof Assistants
-
-Theory of Computation
-NWI-IMC010     ?       6       Type Theory and Coq
-NWI-IMC011     2       6       Semantics and Domain Theory
-NWI-IMC036     1?      6       Coalgebra
-NWI-WM072B     2       Complexity Theory OR NEXT LINE
-NWI-WM120B     ?       8       Computability theory
-
-Track specific research seminar
-NWI-IMC045     2       6       Research Seminar Software Science
-
-Research internship (15 ec)
-NWI-IMC047     3       15      Research Internship
-
-Track-external choice (12 ec)
-
-Computer science and society (3 ec)
-WI-IMI003      3       Philosophy and Ethics for Computing and Information Science
-
-Free electives (12 ec)
-
-Master thesis project (30 ec)
-NWI-IMC029     4       30      Master's thesis in Computing Science
-