1 | Advanced Algorithms and Data Structures | WBCS009-05 |
|
|
| terug naar boven |
|
2 | Advanced Logic | WBAI017-05 |
Behandeld worden: bewijzen met inductie, meerwaardige logica, modale logica, tijdslogica, niet monotone redeneervormen. |
|
| terug naar boven |
|
3 | Advanced Object Oriented Programming | WBCS001-05 |
|
Faculteit | Science and Engineering | Voertaal | Engels | Coordinator | dr. R. Smedinga | Docent(en) | Prof. Dr. A. Lazovikdr. R. Smedinga | Onderwijsvorm | Hoorcollege (LC), Practisch werk (PRC), Werkcollege (T) | Toetsvorm | Opdracht (AST), Practisch werk (PR), Schriftelijk tentamen (WE), Verslag (R) | ECTS | 5 |
|
| terug naar boven |
|
4 | Algorithms and Data Structures (AI) | WBAI018-05 |
|
Faculteit | Science and Engineering | Voertaal | Engels | Coordinator | dr. H.A. de Weerd | Docent(en) | dr. H.A. de Weerd | Onderwijsvorm | Hoorcollege (LC), Practisch werk (PRC), Werkcollege (T) | Toetsvorm | Schriftelijk tentamen (WE), Verslag (R) | ECTS | 5 |
|
| terug naar boven |
|
5 | Analysis | WBMA012-05 |
|
Faculteit | Science and Engineering | Voertaal | Engels | Coordinator | dr. A.E. Sterk | Docent(en) | dr. A.E. Sterk | Onderwijsvorm | Hoorcollege (LC), Werkcollege (T) | Toetsvorm | Opdracht (AST), Schriftelijk tentamen (WE) | ECTS | 5 |
|
| terug naar boven |
|
6 | Architectures of Intelligence | WBAI009-05 |
|
Faculteit | Science and Engineering | Voertaal | Engels | Coordinator | dr. J.P. Borst | Docent(en) | dr. J.P. Borst | Onderwijsvorm | Hoorcollege (LC), Practisch werk (PRC), Werkcollege (T) | Toetsvorm | Practisch werk (PR), Schriftelijk tentamen (WE) | ECTS | 5 |
|
| terug naar boven |
|
7 | Artificial Intelligence 1 | WBAI023-05 |
|
Faculteit | Science and Engineering | Voertaal | Engels | Coordinator | Prof. Dr. D. Grossi | Docent(en) | Prof. Dr. D. Grossi | Onderwijsvorm | Hoorcollege (LC), Practisch werk (PRC), Werkcollege (T) | Toetsvorm | Practisch werk (PR), Schriftelijk tentamen (WE) | ECTS | 5 |
|
| terug naar boven |
|
8 | Asymptotic Statistics (BSc) | WBMA002-05 |
|
Faculteit | Science and Engineering | Voertaal | Engels | Coordinator | dr. W.P. Krijnen | Docent(en) | dr. W.P. Krijnen | Onderwijsvorm | Opdracht (ASM), Hoorcollege (LC), Werkcollege (T) | Toetsvorm | Opdracht (AST), Schriftelijk tentamen (WE) | ECTS | 5 |
|
| terug naar boven |
|
9 | Autonomous Systems | WBAI002-05 |
|
|
| terug naar boven |
|
10 | Calculus for Artificial Intelligence | WBAI048-05 |
|
Faculteit | Science and Engineering | Voertaal | Engels | Coordinator | dr. ir. R. Luppes | Docent(en) | dr. ir. R. Luppes | Onderwijsvorm | Hoorcollege (LC), Werkcollege (T) | Toetsvorm | Schriftelijk tentamen (WE), Tussentoets (IT) | ECTS | 5 |
|
| terug naar boven |
|
11 | Calculus for Computing Science | WBCS036-05 |
|
Faculteit | Science and Engineering | Voertaal | Engels | Coordinator | P.M.J. Tibboel, PhD. | Docent(en) | P.M.J. Tibboel, PhD. | Onderwijsvorm | Hoorcollege (LC), Werkcollege (T) | Toetsvorm | Opdracht (AST), Schriftelijk tentamen (WE), Tussentoets (IT) | ECTS | 5 |
|
| terug naar boven |
|
12 | Complex Analysis | WBMA018-05 |
|
Faculteit | Science and Engineering | Voertaal | Engels | Coordinator | O. Lorscheid, PhD. | Docent(en) | O. Lorscheid, PhD. | Onderwijsvorm | Hoorcollege (LC), Werkcollege (T) | Toetsvorm | Opdracht (AST), Tussentoets (IT), Schriftelijk tentamen (WE) | ECTS | 5 |
|
| terug naar boven |
|
13 | Computer Architecture | WBCS010-05 |
|
|
| terug naar boven |
|
14 | Computer Graphics | WBCS019-05 |
|
Faculteit | Science and Engineering | Voertaal | Engels | Coordinator | Prof. Dr. J. Kosinka | Docent(en) | Prof. Dr. J. Kosinka | Onderwijsvorm | Hoorcollege (LC), Practisch werk (PRC), Werkcollege (T) | Toetsvorm | Practisch werk (PR), Schriftelijk tentamen (WE) | ECTS | 5 |
|
| terug naar boven |
|
15 | Data Analytics and Communication | WBAI011-05 |
|
Faculteit | Science and Engineering | Voertaal | Engels | Coordinator | dr. M.K. van Vugt | Docent(en) | dr. M.K. van Vugt | Onderwijsvorm | Hoorcollege (LC), Bijeenkomst (S), Opdracht (ASM), Practisch werk (PRC) | Toetsvorm | Practisch werk (PR), Presentatie (P), Schriftelijk tentamen (WE) | ECTS | 5 |
|
| terug naar boven |
|
16 | Discrete Structures | WBCS011-05 |
|
|
| terug naar boven |
|
17 | Dynamical Systems | WBMA031-05 |
|
|
| terug naar boven |
|
18 | Geometry | WBMA034-05 |
|
Faculteit | Science and Engineering | Voertaal | Engels | Coordinator | dr. R.I. van der Veen | Docent(en) | dr. R.I. van der Veen | Onderwijsvorm | Hoorcollege (LC), Werkcollege (T) | Toetsvorm | Opdracht (AST), Schriftelijk tentamen (WE) | ECTS | 5 |
|
| terug naar boven |
|
19 | Group Theory | WBMA005-05 |
|
Faculteit | Science and Engineering | Voertaal | Engels | Coordinator | P. Kilicer, PhD. | Docent(en) | P. Kilicer, PhD. | Onderwijsvorm | Hoorcollege (LC), Opdracht (ASM), Werkcollege (T) | Toetsvorm | Opdracht (AST), Schriftelijk tentamen (WE) | ECTS | 5 |
|
| terug naar boven |
|
20 | Imperative Programming | WBAI003-05 |
|
Faculteit | Science and Engineering | Voertaal | Engels | Coordinator | dr. H.A. de Weerd | Docent(en) | dr. H.A. de Weerd | Onderwijsvorm | Hoorcollege (LC), Practisch werk (PRC), Werkcollege (T) | Toetsvorm | Opdracht (AST), Schriftelijk tentamen (WE), Tussentoets (IT) | ECTS | 5 |
|
| terug naar boven |
|
21 | Information Security | WBCS004-05 |
|
|
| terug naar boven |
|
22 | Introduction to Logic (AI) | WBAI012-05 |
|
Faculteit | Science and Engineering | Voertaal | Engels | Coordinator | Prof. Dr. D. Grossi | Docent(en) | Prof. Dr. D. Grossi | Onderwijsvorm | Hoorcollege (LC), Werkcollege (T), Practisch werk (PRC) | Toetsvorm | Opdracht (AST), Schriftelijk tentamen (WE), Tussentoets (IT) | ECTS | 5 |
|
| terug naar boven |
|
23 | Introduction to Machine Learning | WBCS032-05 |
|
|
| terug naar boven |
|
24 | Knowledge and Agent Technology | WBAI006-05 |
|
Faculteit | Science and Engineering | Voertaal | Engels | Coordinator | prof. dr. H.B. Verheij | Docent(en) | prof. dr. H.B. Verheij | Onderwijsvorm | Hoorcollege (LC), Practisch werk (PRC) | Toetsvorm | Practisch werk (PR), Schriftelijk tentamen (WE) | ECTS | 5 |
|
| terug naar boven |
|
25 | Language and Speech Technology | WBAI007-05 |
De cursus bestaat uit twee delen. Het ene deel van de cursus behandelt spraakproductie en spraakperceptie. Aandacht zal worden besteed aan de fysische eigenschappen van het spraaksignaal en de daaraan gekoppelde fysiologische eigenschappen van het spraakorgaan. De menselijke spraakperceptie wordt behandeld vanaf de bouw en werking van het oor tot en met de signaalverwerking in het centraal zenuwstelsel. Verder zal een korte inleiding worden gegeven in automatische spraakperceptie. In het tweede deel van de cursus worden methoden en toepassingen in taaltechnologie behandeld. Onderwerpen zoals corpuslinguïstiek, tagging, automatische ontleding, machinale vertaling en vraag-antwoord systemen en de bijhorende methoden worden besproken. De cursus heeft een aantal practica waar studenten de besproken technieken kunnen uitproberen. |
|
| terug naar boven |
|
26 | Linear Algebra and Multivariable Calculus | WBAI050-05 |
|
Faculteit | Science and Engineering | Voertaal | Engels | Coordinator | prof. dr. R.M. Mendez | Docent(en) | prof. dr. R.M. Mendez | Onderwijsvorm | Hoorcollege (LC), Werkcollege (T) | Toetsvorm | Opdracht (AST), Schriftelijk tentamen (WE), Tussentoets (IT) | ECTS | 5 |
|
| terug naar boven |
|
27 | Linear Systems | WBMA043-05 |
|
Faculteit | Science and Engineering | Voertaal | Engels | Coordinator | dr. ir. B. Besselink | Docent(en) | dr. ir. B. Besselink | Onderwijsvorm | Hoorcollege (LC), Werkcollege (T) | Toetsvorm | Opdracht (AST), Schriftelijk tentamen (WE) | ECTS | 5 |
|
| terug naar boven |
|
28 | Logisch Programmeren | LIX003B05 |
Dit college geeft een inleiding in de programmeertaal Prolog. Prolog staat voor ´programmeren in logica´, en deze relatie tussen Prolog en logica geeft Prolog een speciaal karakter. Het idee achter logisch programmeren is het volgende: vertel een computer niet wat je wilt doen, maar beschrijf de situatie (een verzameling feiten en regels) waarin je geïnteresseerd bent. Prolog geeft de computer de mogelijkheid nieuwe feiten te extraheren van de situatie die beschreven wordt. Prolog wordt daarom ook wel een declaratieve programmeertaal genoemd. In het college komen de basisconstructies van Prolog aan de orde, zoals logische databases, recursie, unificatie en zoekstrategieën van logisch programmeren. De leerstof wordt geoefend aan de hand van concrete programmeeropdrachten. |
Faculteit | Letteren | Voertaal | Engels | Coordinator | prof. dr. G.J.M. van Noord | Docent(en) | | Onderwijsvorm | hoorcollege, werkcollege | Toetsvorm | programmeeropdrachten, schriftelijk tentamen | ECTS | 5 |
|
| terug naar boven |
|
29 | Metric and Topological Spaces | WBMA036-05 |
|
Faculteit | Science and Engineering | Voertaal | Engels | Coordinator | A.V. Kiselev | Docent(en) | A.V. Kiselev | Onderwijsvorm | Opdracht (ASM), Hoorcollege (LC), Werkcollege (T) | Toetsvorm | Opdracht (AST), Schriftelijk tentamen (WE) | ECTS | 5 |
|
| terug naar boven |
|
30 | Neural Networks | WBAI028-05 |
|
Faculteit | Science and Engineering | Voertaal | Engels | Coordinator | Prof. Dr. H. Jaeger | Docent(en) | Prof. Dr. H. Jaeger | Onderwijsvorm | Hoorcollege (LC), Practisch werk (PRC), Werkcollege (T), Opdracht (ASM) | Toetsvorm | Verslag (R), Schriftelijk tentamen (WE) | ECTS | 5 |
|
| terug naar boven |
|
31 | Object-Oriented Programming | WBAI045-05 |
|
Faculteit | Science and Engineering | Voertaal | Engels | Coordinator | dr. H.A. de Weerd | Docent(en) | dr. H.A. de Weerd | Onderwijsvorm | Practisch werk (PRC), Werkcollege (T), Hoorcollege (LC) | Toetsvorm | Opdracht (AST), Schriftelijk tentamen (WE) | ECTS | 5 |
|
| terug naar boven |
|
32 | Operating systems | WBCS023-05 |
|
|
| terug naar boven |
|
33 | Parallel Computing | WBCS029-05 |
|
|
| terug naar boven |
|
34 | Philosophy of AI and Cognition | FI203AI |
|
|
| terug naar boven |
|
35 | Probability and Measure | WBMA024-05 |
|
|
| terug naar boven |
|
36 | Signals and Systems | WBAI016-05 |
|
Faculteit | Science and Engineering | Voertaal | Engels | Coordinator | dr. H.A. de Weerd | Docent(en) | dr. H.A. de Weerd | Onderwijsvorm | Hoorcollege (LC), Practisch werk (PRC), Werkcollege (T) | Toetsvorm | Opdracht (AST), Practisch werk (PR), Schriftelijk tentamen (WE) | ECTS | 5 |
|
| terug naar boven |
|
37 | Statistical Modelling | WBMA028-05 |
|
Faculteit | Science and Engineering | Voertaal | Engels | Coordinator | Dr. T.K. Gebretekle | Docent(en) | Dr. T.K. Gebretekle | Onderwijsvorm | Hoorcollege (LC), Opdracht (ASM), Werkcollege (T) | Toetsvorm | Opdracht (AST), Schriftelijk tentamen (WE) | ECTS | 5 |
|
| terug naar boven |
|
38 | Statistics | WBAI049-05 |
|
Faculteit | Science and Engineering | Voertaal | Engels | Coordinator | dr. H.A. de Weerd | Docent(en) | dr. H.A. de Weerd | Onderwijsvorm | Hoorcollege (LC), Practisch werk (PRC) | Toetsvorm | Opdracht (AST), Schriftelijk tentamen (WE) | ECTS | 5 |
|
| terug naar boven |
|
39 | Stochastic Processes | WBMA048-05 |
|
Faculteit | Science and Engineering | Voertaal | Engels | Coordinator | prof. dr. T. Müller | Docent(en) | prof. dr. T. Müller | Onderwijsvorm | Hoorcollege (LC), Werkcollege (T) | Toetsvorm | Opdracht (AST), Schriftelijk tentamen (WE) | ECTS | 5 |
|
| terug naar boven |
|