3 ECTS credits
90 h study time

Offer 1 with catalog number 4005196EER for all students in the 1st semester at a (E) Master - advanced level.

Semester
1st semester
Enrollment based on exam contract
Possible
Grading method
Grading (scale from 0 to 20)
Can retake in second session
Yes
Taught in
English
Faculty
Faculty of Engineering
Department
Computer Science
Educational team
Ann Nowe (course titular)
Activities and contact hours

30 contact hours Lecture
Course Content
  1. Syntax (formal languages):

    1.1. Regular languages and finite automata: equivalence, (non)determinism, optimization.
    1.2. Context free grammars: definitions and general properties (e.g. normalforms), pushdown automata.
    1.3. Introduction to parsing.

     
  2. Computability: Solvable and unsolvable problems, Theorem of Church, Turing Machines.
  3. Introduction to logic and basic theorem proving
     
Course material
Digital course material (Recommended) : Slides are available at pointcarre, Pointcarré
Digital course material (Recommended) : Exercise information is available at pointcarre, Pointcarré
Additional info

http://ai.vub.ac.be/courses/2015-2016

Learning Outcomes

Algemene competenties

The objective of this course is to acquaint students in Apllied Computer Science with the formal background of their discipline.

Knowledge and insight
The student knows the Chomsky hierarchy of formal languages, and has insight in the generative power of the different classes and their corresponding automata. The student has gained insight into what problems can be can be solved and computed w.o.w. which problems belong to the class of (semi-)decidable or (semi-)computable problems.

The student has sufficient knowledge about logic in order to be able to learn other types of logic.

The use of knowledge and insight
The student can specify a grammar or an automaton of the appropriate class given an description of a previously unseen language.

The students knows the basics of logic, more in particular proposition logic and predicate logic, so that they are able to use this knowledge to formulate and solve problems.

Communication
The student can document solutions to exercises in a written manner.

Skills
The course contributes to development of the skills necessary to solve mathematically formulated problems.

The majority of students in this program have a technological background and lack grounding in the fundamentals of computer science.

The targeted competences are:

  • Related to knowledge and understanding: acquire basic insight in fundamentals of computer science.
  • Related to applicability of knowledge and understanding: be able to assess the importance of this grounding.
  • Related to judgement: to be able to assess alternative grounded approaches when confronted with a particular complex issue.
  • Related to communication: to be able to formalize solutions to informatics problems and improve structure and argumentation.
  • Related to learning skills: to improve the acquisition of knowledge through better grounding.

This course contributes to the following programme outcomes of the Master in Applied Computer Sciences:

MA_A: Knowledge oriented competence

1. The Master in Engineering Sciences has in-depth knowledge and understanding of exact sciences with the specificity of their application to engineering
3. The Master in Engineering Sciences has in-depth knowledge and understanding of the advanced methods and theories to schematize and model complex problems or processes
6. The Master in Engineering Sciences can correctly report on research or design results in the form of a technical report or in the form of a scientific paper

MA_B:  Attitude

13. The Master in Engineering Sciences has a critical attitude towards one’s own results and those of others

MA_C:  Specific competence

21. The Master in Applied Computer Sciences has a thorough knowledge of programming concepts and can apply them in smart systems of systems


 

Grading

The final grade is composed based on the following categories:
PRAC Presentation determines 50% of the final mark.
PRAC Paper determines 50% of the final mark.

Within the PRAC Presentation category, the following assignments need to be completed:

  • presentation with a relative weight of 1 which comprises 50% of the final mark.

    Note: The essay will be supported by a 20min presentation by the student, followed by a Q&A session.

Within the PRAC Paper category, the following assignments need to be completed:

  • written essay with a relative weight of 1 which comprises 50% of the final mark.

    Note: The exam consists of a written essay (max. 10 pages + software artifacts), prepared beforehand and submitted at least 3 workdays before the actual exam. The essay will cover a particular formal concept to be developed as case study. The essay should explore the assigned theme and illustrate it by means of a valid experiment

Additional info regarding evaluation

The exam is an open book written exam.

Academic context

This offer is part of the following study plans:
Master in Applied Sciences and Engineering: Applied Computer Science: Standaard traject
Master of Applied Sciences and Engineering: Computer Science: Artificial Intelligence
Master of Applied Sciences and Engineering: Computer Science: Multimedia
Master of Applied Sciences and Engineering: Computer Science: Software Languages and Software Engineering
Master of Applied Sciences and Engineering: Computer Science: Web & Information Systems
Master of Teaching in Science and Technology: ingenieurswetenschappen (120 ECTS, Etterbeek) (only offered in Dutch)