Inhalte:

• • Aussagenlogik und mathematische Beweistechniken Boolesche Formeln und Boolesche Funktionen, DNF und KNF, Erfüllbarkeit, Resolutionskalkül
  • Mengenlehre: Mengen, Relationen, Äquivalenz- und Ordnungsrelationen, Funktionen
  • Natürliche Zahlen und vollständige Induktion, Abzählbarkeit
  • Prädikatenlogik und mathematische Strukturen
• Kombinatorik: Abzählprinzipien, Binomialkoeffizienten und Stirling-Zahlen, Rekursion, Schubfachprinzip
• diskrete Wahrscheinlichkeitsverteilungen
• Graphentheorie: Graphen und ihre Darstellungen, Wege und Kreise in Graphen, Bäume

Literatur

• 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

Zusätzliche Informationen

Eine Anmeldung zum Kurs kann nur über Onlineanmeldung erfolgen!

Inhalte

Studierende erlernen die Grundlagen des Programmierens und grundlegende Programmierparadigmen wie Imperativ und Funktional. Sie erarbeiten sich Ausdrücke und Datentypen und grundlegende Aspekte Imperativer Programmierung (Zustand, Anweisungen Kontrollstrukturen, Ein-Ausgabe) und üben deren Anwendung.

Die Studierenden erarbeiten sich grundlegende Aspekte der Funktionalen Programmierung (Funktionen, Rekursion, Funktionen höherer Ordnung, Currying), und Objektorientierte Konzepte wie Kapselung und Vererbung, Polymorphie, sowie Grundlegende Algorithmische Fragestellungen (z. B. Suchen, Sortieren, Auswählen und Einfache Feld- und Zeigerbasierte Datenstrukturen) und üben deren Implementierung.

Zusätzliche Informationen

Eine Anmeldung zum Kurs kann nur über Onlineanmeldung erfolgen!

Im Bereich Rechnerarchitektur wird ein Einstieg in die Funktionsweise und den Aufbau von Prozessor und Speicher gegeben. Die abgedeckten Themen umfassen Harvard- und Von-Neumann-Architektur, Rechnerarithmetik (Zahlen- und Datendarstellungen, Arithmetische Operationen), Mikroarchitektur (Register, Mikroprogrammierung, Pipelining, Sprungvorhersage), Befehlssatzarchitektur (RISC, CISC, Adressierung), Speicher (Speicherhierarchie, Cache, virtueller Speicher, Paging). In den Übungen werden Probleme mithilfe der Assemblersprache NASM gelöst.

Zur aktiven Teilnahme
Zum Erreichen der aktiven Teilnahme müssen Sie mindestens 60% in allen 4 Testaten erzielen. Diese Testate werden an den folgenden Tagen in Ihrem jeweiligen Tutorium geschrieben:
Testat 1: Do, 27.07.
Testat 2: Di, 01.08.
Testat 3: Fr, 04.08.
Testat 4: Di, 08.08.

Vorlesungsvideos aus vergangenen Semestern

http://www.mi.fu-berlin.de/inf/groups/ag-tech/teaching/resources/Course-Material.html#CA

Vorlesungstermine

Literatur

• 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.

Hinweis:

Wenn Sie sowohl den Kurs ProInformatik IVa: Rechnerarchitektur als auch den Kurs ProInformatik IVb: Betriebs- und Kommunikationssysteme buchen und erfolgreich abschließen, kann dies für das Modul "Rechnerarchitektur, Betriebs- und Kommunikationssysteme" der aktuellen Studienordnung des Monobachelors Informatik anerkannt werden.

Zusätzliche Informationen

Eine Anmeldung zum Kurs kann nur über Onlineanmeldung erfolgen!

Have you ever wanted to create a simple 2-D game? If so, here is your opportunity! A 3.5 week block course entitled *Game Creation with Godot Engine *will be offered at the Free University of Berlin from Monday, July 24th through Wednesday, August 17th. The course will meet each weekday from 10:00 until 13:00. 12 Montana State University students are enrolled and the course is also open to 20 Free University of Berlin students. Students will work in cross-institutional teams to create a game of their choosing. The course will be taught in English by Montana State University Computer Science Professor John Paxton. To enroll, a student should have at least two semesters of computer programming experience. For more information, see https://www.cs.montana.edu/paxton/classes/2023/

Studierende der Informatik an der FU Berlin können sich den Kurs als ABV-Kurs anrechene lassen. Grundlegende Programmierkentnisse werden vorausgesetzt. Die Kurssprache ist Englisch.

Anmerkungen zum Inhalt:

• Umfang und Tiefe der Wiederholung zu Grundlagen aus Logik und Mengenlehre wird an den Bedarf des Teilnehmerkreises angepasst;
• Abhängig vom Umfang des Wiederholungsbedarfs kann es zu Kürzungen bei den Anwendungen aus dem letzten Schwerpunkt kommen; 

Ablauf:

• Der Kurs findet im Zeitraum vom 28.08. bis zum 29.09.2023 statt. Wöchentlich sind jeweils vier dreistündige  Vorlesungsblöcke geplant. Jeweils ein Tag in der Woche wird für die Wiederholung des Stoffs (individuell oder in kleinen Gruppen) reserviert. Bei Bedarf stehen die Dozent*innen für Nachfragen zur Verfügung (die genauen Sprechstundenzeiten werden in der Veranstaltung abgestimmt).
• An den Nachmittagen finden Übungen unter Anleitung erfahrener Tutor*innen statt.
• Zum Erhalt eines Leistungsnachweises (wird im Fachbereich als Äquivalent zum Modul "Lineare Algebra für Informatik" anerkannt) sind regelmäßige Teilnahme an Vorlesungen und Übungen, Erreichen von 50% der Punkte aus den abzugebenden Übungsaufgaben und 50% der Klausurpunkte notwendig.