After successful completion of the course, students are able to...

• Distinguish and apply different types of number representations,
• describe and apply basic concepts of information and coding theory, 
• Formulate, manipulate and interpret Boolean algebra expressions and apply minimization methods to them, 
• understand, apply and transfer basic logical concepts,
  
• design and explain simple combinational circuits,
•  describe a system using suitable logic or a suitable type of machine,
  
• recognize and correct syntactic and semantic errors in a model, 
• analyze informally described systems, reduce them to the relevant characteristics and model them with formal specification methods.

• Number representation
• floating point arithmetic
• Basic concepts of information and coding theory
• logic in computer science
• Propositional logic, Boolean algebra, minimization methods
• Predicate logic as a specification language
• Finite automata, including Moore and Mealy automata
• Regular expressions and context-free grammars
  
• combinational circuits 
• Realizations of automata
  
• Petri nets

Learning activities comprise lectures, assignments in large and small groups, as well as written exams.

Preliminary meeting:  3. Oct. 2023, 10:00 c.t. GM 1 Audi. Max.

Workload estimation (ECTS breakdown): 150 hours = 6 ECTS

• Lecture time (50 hours)
• Written tests (6 hours)
• Presentation of homework exercises (12 hours)
• Preparation / post-processing of homework (64 hours)
• Post-processing of lectures and preparation for exams (18 hours)

All information, course material and the assignments for the homework exercises will be provided in the accompanying TUWEL-course.

For further questions please contact: gds@list.tuwien.ac.at

To pass the course successfully it is required to pass entry-tests, to solve a certain number of homework exercises, and to get a positive assessment for the presentation of solved homework exercises during classes. In addition, a positive assessment of the written exams is required. All details about examination modalities are presented during the preliminary meeting and can be looked up in the sildes for the preliminary meeting in the TUWEL-course.

Course registration is mandatory to attend the class. Right after the course registration access to the accompanying e-learning course is provided via the link "To TUWEL online course" on top of this page.