Modules

12 results

Elective Modules Informatics12

Advanced Concepts of Programming LanguagesNo ratings for this module yet.Formal Methods and their Applications (FMA)You engage with the meaning (semantics) of various language constructs and how they are implemented in compilers and runtime systems. In the end you will be able to analyze language features, compare them, and, if necessary, reproduce them in another language model as well as extend compilers to support these constructs.6 ECTSruns this semesterCIT3230000Ausgewählte Themen aus dem Bereich Formale Methoden und ihre AnwendungenNo ratings for this module yet.Formal Methods and their Applications (FMA)You engage with current topics from the area of Formal Methods and their application. In the end you know the research and development state in selected subfields and you can deal with current research projects and results.5 ECTSruns this semesterIN3350Automata and Formal LanguagesNo ratings for this module yet.Formal Methods and their Applications (FMA)You learn how different classes of automata (finite, deterministic, nondeterministic, Büchi automata) are used as data structures for the representation and manipulation of (also infinite) sets and relations. You practice building and composing automata, automatic operations (e.g., boolean operations, joins) and the connection between automata and logic as well as their application in pattern matching, program verification and in problems such as Diophantine equations.8 ECTSruns this semesterIN2041Games on GraphsNo ratings for this module yet.Formal Methods and their Applications (FMA)You will learn the theory of games on finite graphs. Building on reachability games, both qualitative and quantitative variants are treated, and in the end you will be able to apply the fundamental solution methods and solve smaller game instances on your own.5 ECTSruns this semesterIN2296ProgrammoptimierungNo ratings for this module yet.Formal Methods and their Applications (FMA)You will learn methods and analyses to improve the runtime efficiency of programs. The module covers data-flow analyses, fixed-point calculations and optimizing transformations, as well as hardware-near techniques such as register allocation, instruction selection and scheduling. In the end you will be able to apply analyses to small programs and develop optimizations.8 ECTSruns this semesterIN2053
7 more in Elective Modules InformaticsCompilerbau INo ratings for this module yet.Formal Methods and their Applications (FMA)You learn how compilers are built and how they translate programs from a higher programming language into machine instructions. In the end you will be able to explain the core components frontend, middleend and backend and implement a simple compiler for a small language and target architecture.5 ECTSno date this semesterIN2227Lambda CalculusNo ratings for this module yet.Formal Methods and their Applications (FMA)You learn the fundamentals of the lambda calculus as a model of programming languages. First you treat untyped lambda calculus, its reduction rules, evaluation strategies (e.g., call-by-value, call-by-name) and its Turing completeness. In the second part you learn typed lambda calculi, common type systems in functional languages and the connection between types and logic (Curry–Howard). In the end you can use lambda terms, translate them and prove their properties.5 ECTSno date this semesterIN2358LogikNo ratings for this module yet.Formal Methods and their Applications (FMA)You learn the basics of propositional and predicate logic: syntax, semantics and formal proof systems. In the end you will be able to conduct proofs in deductive systems, demonstrate soundness and completeness, formalize problems and apply simple decision or semi-decision procedures such as resolution.8 ECTSno date this semesterIN2049Model CheckingNo ratings for this module yet.Formal Methods and their Applications (FMA)You will learn how to describe hardware and software systems with formal models and how to automatically verify these models using model checking methods to determine whether they satisfy desired properties. In the end you will be able to model simple systems, formulate properties in temporal logic, and explain basic model-checking algorithms as well as strategies against the state-space explosion problem and apply them to small examples.8 ECTSno date this semesterIN2050PetrinetzeNo ratings for this module yet.Formal Methods and their Applications (FMA)You will become acquainted with Petri nets as a formal model for describing and analyzing concurrent systems. In the end you will be able to model simple systems with Petri nets, analyze small nets by hand, and select suitable automatic analysis techniques and software tools for larger nets to assess behavior and properties.5 ECTSno date this semesterIN2052SemanticsNo ratings for this module yet.Formal Methods and their Applications (FMA)You learn formal techniques for describing and analyzing the semantics of programming languages. In the end you will be able to understand and apply different semantics styles (operational, denotational, axiomatic) as well as define semantics for language constructs and prove properties such as type safety.8 ECTSno date this semesterIN2055Virtuelle MaschinenNo ratings for this module yet.Formal Methods and their Applications (FMA)You learn how programs in different languages are mapped to code for idealized (virtual) machines via translation schemes. In the end you will be able to generate machine commands for excerpts of programs and develop translation schemes for given language constructs.6 ECTSno date this semesterIN2040
2 more modules match, but they are taught in German. Show themAnerkennung 2 FMA_THEONo ratings for this module yet.Formal Methods and their Applications (FMA)no date this semesterIN99518Anerkennung im Bereich Formale Methoden und ihre AnwendungenNo ratings for this module yet.Formal Methods and their Applications (FMA)no date this semesterIN99517