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.

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

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.

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.

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:

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.

Literatur:

wird noch bekannt gegeben.

Prerequisites:

Basic knowledge in biology, robotics and artificial intelligence.

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

In this meeting we discuss new results arising from our group Autonomous Vehicles.

The participants present papers from conferences or journals also.

The seminar takes place on a regular basis (weekly) with the aim to exchange information and ideas on AI and ML related topics. 

Many sessions take place in the form of a reading group, where we discuss the selected paper(s) on topics related to AI and ML. Everyone should read the paper(s) before the meeting to be able to actively participate in the discussions. 

Sometimes we have talks by guests, PhD students or master and bachelor students.

Feel free to join.

,

,

,

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 Whiteboard 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!

see german text

This event will take place once a semester.

Reservierungen für Verteidigungen, Sitzungen und Bau- oder IT-Arbeiten sind als "Reservierung zu einer Lehrveranstaltung" zu behandeln.

Bitte halten Sie sich ausnahmlos daran, damit diese Reservierung nicht noch einmal händisch von Fr. Üzel in Evento übernommen werden müssen, sondern über die Exportfunktion zu myCampus übertragen werden können!

Für folgende Anlässe von Raumreservierungen wurden Pseudo-Lehrveranstaltungen geschaffen:

• 
  Verteidigungen von BSc, MSc, PhD: "Pseudo-LV 19000450 Bachelor-/Master- und Promotionskolloquium" Tragen Sie bitte den betreuenden Dozenten als Veranstalter ein.

• Sitzungen von BKIs, Gremien, Institutsrat, Prüfungsausschüssen: "Pseudo-LV 19000699 Gremiumssitzungen"

• Bauarbeiten und IT-Arbeiten: "Pseudo-LV 19000799 Bau- und IT-Arbeiten"

The mentoring program offers events and counseling services primarily (but not only!) for first-year students. All offers are voluntary and are based on your needs and wishes!

If you have questions or wishes, please contact us!

Your mentors in mathematics, computer science and bioinformatics

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!

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!

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

Do you start studying next winter term at Freie Universität Berlin? Is your subject computer science or bioinformatics? Then you are cordially invited to join our Preparatory Course. In this course you will:

• become acquainted with the institute of computer science and bioinformatics,
• install your account,
• register for your lectures,
• repeat the most important essentials in mathematics, and
• meet many nice people.

Further information and an exact schedule will follow. If you want to be up to date, you can register at our mailing list.

Mathematical and logical thought is crucial for solving problems in computer science. Throughout the last years we mentioned some shortcomings in the first lectures in computer science. The prepatory course will focus on these shortcomings. The main areas are: basic set theory, relations and functions, logical basics, dealing with mathematical formulas, and the understanding of mathematical proofs.

• Meinel, Mundhenk; Mathematische Grundlagen der Informatik, Teubner Verlag

The preparatory course is aimed at all first-year students in computer science and bioinformatics.

See german text.

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

Rust is a new language from Mozilla that describes itself as follows: "Rust is a system programming language that runs at lightning speed, avoids memory errors and guarantees thread security."

The aim of this course is to learn the basics of programming in Rust and to understand how Rust achieves its ambitious goals and treads new paths with complex topics such as memory management and concurrency.

First, the basics of the language are explained. Later, concepts like Ownership & Borrowing, Traits & Generics, as well as Lifetimes. Finally, you should have enough knowledge to develop your own small project.

This course is aimed at everyone with simple programming experience. The intention is to give everyone the chance to deal with low-level programming, especially those who don't feel comfortable with the common languages of this domain (C/C++).

digi4all richtet sich an alle, die sich Kompetenzen für das Lehren und Lernen unter den Bedingungen der Digitalisierung selbstbestimmt aneignen möchten und die einen umfassenden Blick auf die Chancen und Herausforderungen der Digitalisierung für das Bildungssystem erhalten möchten. Alle Fächer und deren Fachdisziplinen erfahren starke Veränderungen durch die Digitalisierung. Innerhalb der Veranstaltung erwerben die Studierenden daher selbst umfassende digitale Grundlagen-, Anwendungs- und Reflexionskompetenzen: Sie lernen mit digitalen Systemen selbstbestimmt umzugehen, diese zu verstehen, zu erklären und im Hinblick auf Wechselwirkungen mit Individuen, der Gesellschaft und dem Bildungssystem zu bewerten. Konzepte zum Transfer des Gelernten auf Lehr-Lern-Prozesse stellen den theoretisch fundierten Praxisbezug her und befähigen zu einem adäquaten Einsatz digitaler Medien sowie zur Gestaltung eines zeitgemäßen Unterrichts unter den Bedingungen der Digitalität.