Moses - Theoretische Grundlagen der Informatik 1 (Grundlagen und algebraische Strukturen)

Zur Modulseite PDF generieren

Modul / Version
#40744 / #1

Gültigkeit
WS 2013/14 - WS 2019/20

Verfügbare Sprache(n)
Deutsch

Titel des Moduls
Theoretische Grundlagen der Informatik 1 (Grundlagen und algebraische Strukturen)

Leistungspunkte
6

Modulverantwortliche*r
Kreutzer, Stephan

Benotung
Benotet

Prüfungsform
Portfolioprüfung

Lehrsprache(n)
Deutsch

Zugehörigkeit

Fakultät
Fakultät IV

Institut
Institut für Softwaretechnik und Theoretische Informatik

Fachgebiet
34352200 FG Logik und Semantik

Prüfungsausschuss
Keine Angabe

Kontakt

Sekretariat
TEL 7-3

Ansprechpartner*in
Keine Angabe

E-Mail-Adresse
stephan.kreutzer@tu-berlin.de

Webseite
Keine Angabe

Diese Modulbeschreibung gilt nicht im aktuellen Semester.

Die Modulbeschreibung gilt nur für den Zeitraum WS 2013/14 - WS 2019/20.

Lernergebnisse

Absolventinnen und Absolventen dieses Moduls beherrschen die mathematischen Grundlagen der Theoretischen Informatik und den sicheren Umgang mit elementaren Datenstrukturen. Sie besitzen die Fähigkeit zur Unterscheidung zwischen Syntax und Semantik und zur strukturierten Argumentation im Sinne mathematischer Beweisführungen sowie Abstraktionsfähigkeit. Sie können entsprechende Aufgaben selbständig in Kleingruppen bearbeiten. · Die Veranstaltung vermittelt überwiegend: · Fachkompetenz Methodenkompetenz Systemkompetenz Sozialkompetenz

Lehrinhalte

Anwendungen der Logik in der Informatik. o Mengen, Aussagen, Beweisnotation, Beweistechniken o Relationen, Ordnungen, Abbildungen, Äquivalenzen, Quotienten o Wörter, Sprachen, Ausdrücke o Elementare Zahlentheorie o Elementare Kombinatorik o Algebraische Strukturen o Graphen, Bäume

Modulbestandteile

Pflichtbereich

Die folgenden Veranstaltungen sind für das Modul obligatorisch:

Lehrveranstaltungen	Art	Nummer	Turnus	Sprache	SWS	ISIS	VVZ
TheGI 1: Grundlagen und algebraische Strukturen	VL	0401 L 155	WiSe	Keine Angabe	2
TheGI 1: Grundlagen und algebraische Strukturen	UE	0401 L 155	WiSe	Keine Angabe	2

ISIS-Kurssuche nach Veranstaltungen des Moduls

Arbeitsaufwand und Leistungspunkte

TheGI 1: Grundlagen und algebraische Strukturen (VL):

Aufwandbeschreibung	Multiplikator	Stunden	Gesamt
Präsenzzeit	15.0	2.0h	30.0h
Vor-/Nachbereitung	15.0	4.0h	60.0h
			90.0h(~3 LP)

TheGI 1: Grundlagen und algebraische Strukturen (UE):

Aufwandbeschreibung	Multiplikator	Stunden	Gesamt
Präsenzzeit	15.0	2.0h	30.0h
Vor-/Nachbereitung	15.0	4.0h	60.0h
			90.0h(~3 LP)

Der Aufwand des Moduls summiert sich zu 180.0 Stunden. Damit umfasst das Modul 6 Leistungspunkte.

Beschreibung der Lehr- und Lernformen

Die fachlichen Inhalte des Moduls werden in einer Vorlesung vermittelt. Die Anwendung und Festigung des Stoffs geschieht durch das regelmäßige gemeinsame Bearbeiten von Aufgabenblättern und die Besprechung des Stoffs und der Aufgaben in Tutorien im interaktiven Stil. Die Hausaufgaben werden von den Studierenden in Kleingruppen bearbeitet.

Voraussetzungen für die Teilnahme / Prüfung

Wünschenswerte Voraussetzungen für die Teilnahme an den Lehrveranstaltungen:

Inhaltlich werden die Kenntnisse in den Modulen "Grundlagen und algebraische Strukturen" und "Berechenbarkeit und Komplexität" vorausgesetzt.

Verpflichtende Voraussetzungen für die Modulprüfungsanmeldung:

Dieses Modul hat keine Prüfungsvoraussetzungen.

Abschluss des Moduls

Benotung

Benotet

Prüfungsform

Portfolioprüfung

Art der Portfolioprüfung

Keine Angabe

Sprache(n)

Deutsch

Prüfungselemente

Name	Punkte/Gewicht	Kategorie	Dauer/Umfang
Endkontrolle	40	Keine Angabe	Keine Angabe
Hausaufgaben	20	Keine Angabe	Keine Angabe
Zwischenkontrolle	40	Keine Angabe	Keine Angabe

Notenschlüssel

Keine Angabe

Prüfungsbeschreibung (Abschluss des Moduls)

Drei separate Pruufungselemente * Hausaufgaben in Gruppenarbeit: 20 Portfoliopunkte * schriftliche Leistungskontrolle („Zwischenkontrolle“) 40 Portfoliopunkte * schriftliche Leistungskontrolle („Abschlusskontrolle“) 40 Portfoliopunkte Die Gesamtnote gemäß § 47 (2) AllgStuPO wird nach dem Notenschlüssel 1 der Fakultät IV ermittelt.

Dauer des Moduls

Für Belegung und Abschluss des Moduls ist folgende Semesteranzahl veranschlagt:
1 Semester.

Dieses Modul kann in folgenden Semestern begonnen werden:
Wintersemester.

Maximale teilnehmende Personen

Dieses Modul ist nicht auf eine Anzahl Studierender begrenzt.

Anmeldeformalitäten

http://www.mtv.tu-berlin.de/ Menüpunkt "Lehre"

Literaturhinweise, Skripte

Skript in Papierform

Verfügbarkeit: nicht verfügbar

Skript in elektronischer Form

Verfügbarkeit: verfügbar

Literatur

Empfohlene Literatur
Ehrig, H. – Mahr, B. et al.: Mathematisch strukturelle Grundlagen der Informatik,Springer Verlag, 2. Aufl. 2001
Rosen, Kenneth H.: Discrete Mathematics and Its Applications. Mc Graw Hill, 2013

Zugeordnete Studiengänge

Semester:

Zeige auch ausgelaufene Studiengänge und StuPOs

Diese Modulversion wird in folgenden Studiengängen verwendet:

	Studiengang / StuPO	StuPOs	Verwendungen	Erste Verwendung	Letzte Verwendung
Dieses Modul findet in keinem Studiengang Verwendung.

Studierende anderer Studiengänge können dieses Modul ohne Kapazitätsprüfung belegen.

Pflichtmodul im Bachelor Informatik. Bei ausreichenden Kapazitäten auch als Wahlpflichtmodul in anderen Studiengängen wählbar.

Sonstiges

Keine Angabe