Logo Leibniz Universität Hannover
Logo: Institute of Microelectronic Systems
Logo Leibniz Universität Hannover
Logo: Institute of Microelectronic Systems
  • Zielgruppen
  • Suche
 

Formal Methods in Computer Engineering

Dr.-Ing. Olbrich

The goal of this lecture is giving a detailed survey of the main mathematical methods which are used in modern information technology. This includes fundamental principles of counting, principles of logic and graph theory. Special emphasis is laid on combinatorial optimization problems and methods, which are important in hardware and software development.