From: Mart Lubbers Date: Sat, 29 Aug 2015 17:40:11 +0000 (+0200) Subject: grade overview added X-Git-Url: https://git.martlubbers.net/?a=commitdiff_plain;h=aa7602dc46c97355018b17c7a015483e5bc476bf;p=master.git grade overview added --- diff --git a/grades.ods b/grades.ods new file mode 100644 index 0000000..6b72144 Binary files /dev/null and b/grades.ods differ diff --git a/planning.txt b/planning.txt deleted file mode 100644 index 6ce598a..0000000 --- a/planning.txt +++ /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 index a27ee57..0000000 --- a/vakken.txt +++ /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 -