Contents

Fellows, faculty members, and guests of the research training group speak about their work on the topics covered by the research training group. This includes in particular computational and discrete geometry, algorithmic combinatorics, coding theory, graph theory and graph algorithms, combinatorial optimization, constructive approximation, pattern recognition, and random discrete structures. The individual talks will be announced on the website.

Target Audience

Fellows and faculty members of the research training group and others

Website

http://www.math.tu-berlin.de/MDS/

The talks alternate between FU, HU, and TU. Please check the website.

On Monday, 16th of April 2018 from 9.15–10.00 am, we will have an orientation for new master students in room 005 of the institute of Computer Science. We will provide an overview of the curriculum and of the research groups at the department.

Target audience: first year master students at the department of Computer Science

This event will take place once a semester.

Description:

The doctorate's colloquium enables junior researchers to get in touch with fellow PhD students and advanced graduate students that are affiliated with the Institute of Computer Science. The main aim is to encourage the exchange of thoughts on research topics and general problems outside of their original research project. To that end, we provide a friendly and informal get-together that allows interdisciplinary discussions and that way implicitly broaden one's horizon for the potentially related research of others.

Contents: 

Introduction to Functional Programming (Haskell): 

• Syntax (Backus-Naur Form) 
• primitive data types, lists, tuples, strings 
• expressions, function definitions, recursion and iteration 
  • evaluation strategies of functional programs
  • higher-order functions
  • polymorphism 
  • type system and verification 
• Algebraic and abstract data types 
• input, output and Monads
• searching and sorting algorithms 

Introduction of computability: 

• Lambda calculus 
• Primitive Recursion 
• μ-Recursion 

Proofs of program properties: 

• Term Rewriting 
• Structural induction 
• Termination 

Implementation and programming technique: 

• Modular program design

• Simon Thompson: Haskell: The Craft of Functional Programming, Third Edition, Addison-Wesley, 2011.
• Graham Hutton: Programming in Haskell, Cambridge University Press, 2007
• Bird, R./Wadler, Ph.: Einführung in Funktionale Programmierung, Hanser Verlag, 1982.
• Hans Hermes: Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit, Springer-Verlag, 1978.

Registration for the course can only be done through the Proinformatik registration!

In this lecture the students learn object-oriented concepts via the programming languges Python and Java. You are welcome without any background knowledge in programming. In the last week a programming project will be conducted.

Topics:

• Introduction in imperative programming with Python (data type, operator, expression, variable, assignment, branching, loops, procedures, recursion, input and output, error handling)
• Basic algorithms (sorting, geometry) and types of algorithms (divide and conquer, backtracking)
• Runtime analysis of small programs and proofs of correctness with the Hoare-Calculus
• Modelling the concept of computability as a register machine
• Object-oriented programming concepts (classes, objects, references, methods, inheritance, polymorph type systems, abstract classes, interfaces, template classes, encapsulation)
• Simple data structures (simple and double linked lists, heap) and their implementation, abstract data types (stack, queue)
• Object-oriented modelling techniques and basic design patterns (iterator, observer pattern, model-view-controller etc.)
• Application of programming skills in a project

Organizational stuff:

• You can only enrole to this course online: Onlineanmeldung
• Besides the lectures (every day from 9 to 11:45 am) also tutorials (1 - 3:30 pm) and times for questions (starting 3:30 pm) are part of the course.
• The attendence of the tutorials is obligatory.
• Exam dates: August 8th (Python) and 22nd (Java), at 9 am.
• The final mark consists of the results of both exams (each 50%).
• The programming project in week five offers you the possibility to improve your mark.

The area of computer architecture gives an introduction into functionality and structure of processors and memory. The topics include Harvard- and Von-Neumann architecture, computer arithmetics (number and data representation, arithmetic operations), microarchitecture (registers, microprogramming, pipelining, branch prediction), instruction set architecture (RISC, CISC, addressing), memory (memory hierarchy, caches, virtual memory, paging). In the tutorial sessions there will be programming tasks in NASM (an assembly language).

The operating systems part gives an overview of the necessary resp. usually used components of an operating system and presents the tasks which are usually provided by an operating system. The topics include interrupts, system calls, processes/threads, memory (fragmentation, paging, virtual memory, MMU), scheduling, in-/output, file systems, system start (booting), services, security. In the tutorial sessions there will be programming tasks in C.

The final part of communication networks outlines typical network communication topics and looks at all necessary layers. The topics are: networking (sockets, the internet, layers, protocols, devices (routers, switches)), link layer (physical signals, error detection, packets, network topologies), internet layer (routing, IP, addressing), transport layer (TCP, UDP, connection setup/tear-down, ports), application layer (DNS, email, world wide web), network security (concepts, cryptography, VPNs). As in operating systems, there will be programming tasks in C.

• Andrew S. Tannenbaum: Computerarchitektur, 5. Auflage, Pearson Studium, 2006
• English: Andrew S. Tanenbaum (with contributions from James R. Goodman): Structured Computer Organization, 4th Ed., Prentice Hall International, 2005.

Registration for the course can only be done through the Proinformatik registration!

Contents:

• propositional logic and mathematical proof techniques
  • Boolean terms and functions, DNF and CNF, satisfiability, resolution
  • set theory: sets, relations, equivalence and order relations, functions
  • natural numbers and induction, countability
  • predicate logic and mathematical structures
• combinatorics: counting, binomial coefficients and Stirling numbers, recursion, pigeonhole principle
• discrete probability theory
• graph theory: graphs and their representation, paths and cycles, trees

• Christoph Meinel, Martin Mundhenk: Mathematische Grundlagen der Informatik, Teubner; 2. Auflage 2002
• Uwe Schöning: Logik für Informatiker, B.I.-Wissenschaftsverlag; 5.Auflage 2000
• Kenneth H. Rosen: Discrete Mathematics and its Applications, Mc-Graw Hill; 1999
• M. Aigner: Diskrete Mathematk, Vieweg, 5. Auflage 2004

The registration for the course can only be done through the Proinformatik registration!

Eine Anmeldung zum Kurs kann nur über Onlineanmeldung erfolgen!

Content:

• Foundations of Theoretical Computer Science
• Computer Architecture
• Imperative and Object-oriented Programming

Target group:

Teachers from the Berlin schools

Requirements:

Approval by the Senate Administration for Education, Youth and Science

Literature:

see website

http://lwb.mi.fu-berlin/inf

- wird im Kurs bekannt gegeben

We welcome all pupils with interest in Computer Science who would like to get a feeling for university in their summer holidays. The course ProInformatik V is

• multifaceted
• virtual
• fun

In 2018, ProInformatik V will be offered for the first time and is a cooperation of FU Berlin with Gymnasium Tiergarten. Pupils may chose between easy and challenging tasks according to their competences. This course may be used as a preparatory class for  ProInformatik-courses I - IV which deal with more comprehensive topics.

For more details, refer to the German description.

For the preconditions, please refer to the German description.

This course is aimed at female highschool students who will enter 10th and 11th grade after the summer vacations and are interested in computer science. The one-week course teaches basic programming skills in the programming language Python. The goal is that at the end of the week everyone can program their own little game with a graphical user interface.

The programming concepts taught in class include imperative and object-oriented programming, such as variables, conditional and repeated executions (if-else queries, loops), functions and abstract representations of real objects (classes, hierarchies, inheritance).

No programming pre-knowledge is required.

Registration only via the Proinformatik website.

The aim of this course is to give the participants an introduction to C-programming and to lay the foundations for the use of this programming language in further studies—especially with regard to the course Operating and Networks / TI-3.

Within the scope of this course, participants are taught basic knowledge of programming in the hardware-oriented C language.  First of all, the basics of syntax and the structure of program flows in the entire operating system are discussed.  Based on this, knowledge of classic structured programming will be conveyed in order to elegantly solve even more complex tasks in this programming language.  At the end we develop a game as part of a project, whiches presentation constitutes the final test. After completing the course, these skills should have been acquired:

• Development of a C-program: functions, statements, blocks, declarations, keywords, etc.
• Error handling, integration of external code
• Design and Concept: How to develop in a structured way, how do I get from the idea to the implementation?
• Understanding specifications, basic project management with Git & Makefiles

There will be a daily lecture and tutorial every day, in the final days, the tutorials only have a project-accompanying function.

• The C Programming Language, 2nd Ed., 1988, K&R, ISBN: 0-13-110362-8
• C Programming: A Modern Approach, 2nd Ed., 2008, King, ISBN: 0-39-397950-4
• The C Book, 2nd Ed., 1991, M. Banahan, D. Brady, M. Doran, ISBN: 0-20-154433-4 (http://publications.gbdirect.co.uk/c_book/)
• Modern C, 1st Ed., TBA, J. Gustedt, ISBN: N/A (http://icube-icps.unistra.fr/index.php/File:ModernC.pdf)
• C Notes for Professionals, N/A, 2018, Various Authors, ISBN: N/A (http://books.goalkicker.com/CBook/)

Prerequisites:

None

Inhalt

Der Fachbereich verabschiedet seine Absolventen im Rahmen einer Feier, in der u.a. über wichtige Ereignisse des vergangenen Semesters berichtet wird, die Zeugnisse überreicht sowie Preise für die beste Lehre und für Frauenförderung vergeben werden.

This course offers information and support for all incoming exchange students and regular students from foreign countries in the department of mathematics and computer science. Feel free to join our course in the KVV or visit our web pages.

All information sessions are voluntary, there is no compulsory attendance. Topics and dates of all information sessions can be changed according to your needs. Don't hesitate asking and suggesting topics you are interested in!

This is the regular research seminar of the AG Sichere Identität. The seminar includes discussions of recent publications in research conferences, thesis presentations and defenses, talks by guest speakers, research status reports and research brainstorms.

In this research seminar we will discuss ongoing work in the area of dependable systems. This includes presentations of current PhD, Master's and Bachelor's projects. Everyone interested is most welcome. We use this wiki page for coordination:

Homepage

Description:

In this research seminar we will discuss ongoing work in the area of artificial intelligence. This includes presentations of current Master's and Bachelor's Projects.

wird noch bekannt gegeben

Prerequisites:

Solid knowledge in the field of artificial intelligence.

Presentations about research, bachelor/master/diploma theses, as well as original developments in the area of logic programming, artificial intelligence, declarative knowledge representation, semantic technologies and Web technologies.

The course takes place at Königin-Luise-Str. 24/26, room 120.

This Seminar discusses recent work in the fields of user-centered design of interactive software systems, human-computer interfaces, software ergonomics, interaction design, information visualization, innovative learning and teaching software systems.

Literatur:

wird noch bekannt gegeben.

Discussion and presentation of ongoing research, BSc and MSc theses.

Wird themenspezifisch bekannt gegeben.

Target group:

Staff and students of the working group CST

http://cst.mi.fu-berlin.de

Content

Defenses of bachelor and master theses and talks about current research topics, participation by personal invitation only.

wird bekannt gegeben

Contents:

Talks about current research in theoretical computer science, with a particular focus on algorithms.

Target Audience:

Masters and PhD students in the theory group.

Our research seminar provides a good overview for our different activities at the HCC.lab and much more. Topics, which are interesting for the HCC group as well as be state of the art in our research field will be presented. This topic list will be extended over the whole semester. Presentations will be either held by HCC.lab members, BA/MA thesis students and from external researchers as well. The seminar will provide a positive atmosphere for collaborative learning. In open discussions new insights will be generated and existing thoughts be questioned. Not only topics will be approached, but methods will be investigated as well. Therefore a regular attendance will be beneficial, even if the topic is not covering the personal thematic focus exactly. The seminar is basically open for all students, but members of HCC.lab and students, who write their thesis in our group, are supposed to attend.

The seminar will take place at Königin-Luise-Straße 24/26, room 120.

In its research meeting, the ID-Management group will present current research, theses and conference participations.

This course offers information and support for all incoming exchange students and regular students from foreign countries in the department of mathematics and computer science. Feel free to join our course in the KVV or visit our web pages.

All information sessions are voluntary, there is no compulsory attendance. Topics and dates of all information sessions can be changed according to your needs. Don't hesitate asking and suggesting topics you are interested in!

Contents

Fellows, faculty members, and guests of the research training group speak about their work on the topics covered by the research training group. This includes in particular computational and discrete geometry, algorithmic combinatorics, coding theory, graph theory and graph algorithms, combinatorial optimization, constructive approximation, pattern recognition, and random discrete structures. The individual talks will be announced on the website.

Target Audience

Fellows and faculty members of the research training group and others

Website

http://www.math.tu-berlin.de/MDS/

The talks alternate between FU, HU, and TU. Please check the website.

Contents:

• propositional logic and mathematical proof techniques
  • Boolean terms and functions, DNF and CNF, satisfiability, resolution
  • set theory: sets, relations, equivalence and order relations, functions
  • natural numbers and induction, countability
  • predicate logic and mathematical structures
• combinatorics: counting, binomial coefficients and Stirling numbers, recursion, pigeonhole principle
• discrete probability theory
• graph theory: graphs and their representation, paths and cycles, trees

• Christoph Meinel, Martin Mundhenk: Mathematische Grundlagen der Informatik, Teubner; 2. Auflage 2002
• Uwe Schöning: Logik für Informatiker, B.I.-Wissenschaftsverlag; 5.Auflage 2000
• Kenneth H. Rosen: Discrete Mathematics and its Applications, Mc-Graw Hill; 1999
• M. Aigner: Diskrete Mathematk, Vieweg, 5. Auflage 2004

The registration for the course can only be done through the Proinformatik registration!

Eine Anmeldung zum Kurs kann nur über Onlineanmeldung erfolgen!

This is the regular research seminar of the AG Sichere Identität. The seminar includes discussions of recent publications in research conferences, thesis presentations and defenses, talks by guest speakers, research status reports and research brainstorms.

In this research seminar we will discuss ongoing work in the area of dependable systems. This includes presentations of current PhD, Master's and Bachelor's projects. Everyone interested is most welcome. We use this wiki page for coordination:

Homepage

Description:

In this research seminar we will discuss ongoing work in the area of artificial intelligence. This includes presentations of current Master's and Bachelor's Projects.

wird noch bekannt gegeben

Prerequisites:

Solid knowledge in the field of artificial intelligence.

Content:

• Foundations of Theoretical Computer Science
• Computer Architecture
• Imperative and Object-oriented Programming

Target group:

Teachers from the Berlin schools

Requirements:

Approval by the Senate Administration for Education, Youth and Science

Literature:

see website

http://lwb.mi.fu-berlin/inf

- wird im Kurs bekannt gegeben

Presentations about research, bachelor/master/diploma theses, as well as original developments in the area of logic programming, artificial intelligence, declarative knowledge representation, semantic technologies and Web technologies.

The course takes place at Königin-Luise-Str. 24/26, room 120.

This Seminar discusses recent work in the fields of user-centered design of interactive software systems, human-computer interfaces, software ergonomics, interaction design, information visualization, innovative learning and teaching software systems.

Literatur:

wird noch bekannt gegeben.

Discussion and presentation of ongoing research, BSc and MSc theses.

Wird themenspezifisch bekannt gegeben.

Target group:

Staff and students of the working group CST

http://cst.mi.fu-berlin.de

Content

Defenses of bachelor and master theses and talks about current research topics, participation by personal invitation only.

wird bekannt gegeben

Contents:

Talks about current research in theoretical computer science, with a particular focus on algorithms.

Target Audience:

Masters and PhD students in the theory group.

Our research seminar provides a good overview for our different activities at the HCC.lab and much more. Topics, which are interesting for the HCC group as well as be state of the art in our research field will be presented. This topic list will be extended over the whole semester. Presentations will be either held by HCC.lab members, BA/MA thesis students and from external researchers as well. The seminar will provide a positive atmosphere for collaborative learning. In open discussions new insights will be generated and existing thoughts be questioned. Not only topics will be approached, but methods will be investigated as well. Therefore a regular attendance will be beneficial, even if the topic is not covering the personal thematic focus exactly. The seminar is basically open for all students, but members of HCC.lab and students, who write their thesis in our group, are supposed to attend.

The seminar will take place at Königin-Luise-Straße 24/26, room 120.

The seminar addresses students and research assistants that plan to write their thesis in the area of interdisciplinary security research.

The respective research projects will be presented and discussed with respect to organizational (time plan, PhD regulations) to theoretical and methodical issues. Research questions can be located in the technical field as wells as in politics, social sciences and the humanities.

Description:

The doctorate's colloquium enables junior researchers to get in touch with fellow PhD students and advanced graduate students that are affiliated with the Institute of Computer Science. The main aim is to encourage the exchange of thoughts on research topics and general problems outside of their original research project. To that end, we provide a friendly and informal get-together that allows interdisciplinary discussions and that way implicitly broaden one's horizon for the potentially related research of others.

Description:

Discussion and presentation of ongoing research, bachelor- and master thesis, as well as original papers from the biorobotic and artificial intelligence. Students will learn to present scientific results and to assess the quality of work.

Literature:

to be announced.

Prerequisites:

Basic knowledge in biology, robotics and artificial intelligence.

Target group:

Students in the bachelor- or masters-programme

In this course future teaching assistants are been prepared for their work in the exercise courses. The following topics will be discussed:

• techniques for the exercise course
• activating and motivating students
• types of preliminary discussing and debriefing of exercises
• correcting exercises
• converse with students and docents
• self concept
• gender & diversity
• behaviour during exam supervision
• dealing with sensitive data
• introduction to KVV-system

In its research meeting, the ID-Management group will present current research, theses and conference participations.

The basics of the Delphi method will be theoretically deepened and supplemented with practical experience as part of the seminar "(Real-Time) Delphi in the Practical Test". The lecturer accompanies the students in the realization of a Delphi to a proposed or self-selected topic. The planning, development, implementation and evaluation of the respective studies takes place in groups and is accompanied by the lecturers during the session.

Diese Lehrveranstaltung wird im Rahmen des Masterstudienganges "Zukunftforschung" angeboten.

In this Excercise a more in-depth overview of the process of a research process is given, from finding an appropriate idea for research through the organization and implementation, to the final report or the final presentation of the results. Comprehensive examples are given of how funding for (future) research projects of various kinds can be acquired and how grant applications should be structured. Subsequently, the students design, plan and present in small groups a research project or third-party funded project, which includes the development of an own project idea, the planning of a project group, the development of a methodical concept as well as a cost calculation.

This course is offered as part of the Master's programme in Futurology.

This lecture gives an overview of qualitative empirical methods, especially interview techniques. Students will conduct their own empirical study - from the definition of a suitable research question to the collection and presentation of the results of their analyzes. An introduction to the MAXQDA software enables participants to carry out their own data analyzes.

This course is offered as part of the Bachelor's programme in Educational Sciences.

The Mentoring Programme offers lectures to support and advise students especially during their first semesters. There are, however, also many lectures addressed to advanced students.

The complete programme may be found here.

Ziel dieses Kurses ist es, den Teilnehmenden einen Einstieg in die C-Programmierung zu bieten, und die Grundsteine zur Verwendung dieser Programmiersprache im weiteren Studium zu legen – speziell im Hinblick auf den Kurs Betriebs- und Kommunikationssysteme / TI-3.

Im Rahmen dieses Kurses werden den Teilnehmenden grundlegende Kenntnisse in der Programmierung der Sprache C hardwarenah beigebracht.  Hierbei wird zuerst auf die Grundlagen der Syntax eingegangen und an die Einordnung von Programmabläufen in das gesamte Betriebssystem.  Darauf aufbauend sollen Kenntnisse der klassischen strukturierten Programmierung vermittelt werden um auch komplexere Aufgabe in dieser Programmiersprache elegant zu lösen.  Am Ende wird im Rahmen eines Projektes ein Spiel entwickelt, dessen Vorstellung die Präsentationsprüfung darstellt. Nach dem Absolvieren des Kurses sollen diese Kompetenzen vermittelt worden sein:

• Aufbau eines C-Programms: Funktionen, Statements, Blöcke, Deklarationen, Keywords, etc.
• Fehlerbehandlung, Einbindung von externem Code
• Design und Konzeption: Wie wird strukturiert entwickelt, wie komme ich von der Idee zur Implementation?
• Anlesen von Spezifikationen, grundl. Projektverwaltung mit Git & Makefiles

Es wird täglich eine Vorlesung und ein Tutorium geben, die letzten Tage
haben die Tutorien nur noch projektbegleitende Funktion.

• The C Programming Language, 2nd Ed., 1988, K&R, ISBN: 0-13-110362-8
• C Programming: A Modern Approach, 2nd Ed., 2008, King, ISBN: 0-39-397950-4
• The C Book, 2nd Ed., 1991, M. Banahan, D. Brady, M. Doran, ISBN: 0-20-154433-4 (http://publications.gbdirect.co.uk/c_book/)
• Modern C, 1st Ed., TBA, J. Gustedt, ISBN: N/A (http://icube-icps.unistra.fr/index.php/File:ModernC.pdf)
• C Notes for Professionals, N/A, 2018, Various Authors, ISBN: N/A (http://books.goalkicker.com/CBook/)