Startseite & Aktuelles

Für Privatkunden

Für Firmenkunden

Für Hochschulen

	W3L-Online-Studium
	B.Sc. Web- und Medieninformatik
	Inhalte
	Studienplan und Prüfungen
	Module
	Module buchen
	Module: GDI
	Module: SWT
	Module: Web
	Module: IT
	Module: Mathe
	Module: BWL
	Module: A. Grundlagen
	Module: Vertiefung
	Projekt- & Bachelorarbeit
	Kosten
	B.Sc. Wirtschaftsinformatik
	Duales IT-Studium Study&Job
	Wissenschaftliche Weiterbildung
	E-Learning-Kurse
	Fachbücher

Modulname

Mathematisch-logische Grundlagen der Informatik

Studienbereich

Bachelor-Studienabschnitt, Pflichtfach, Empfohlenes Semester: 1. Semester

Fach

Formale Grundlagen

Anzahl LP

5

Ziele

Die Studierenden sollen durch diesen Modul in allgemeine formale Modelle eingeführt werden und das entsprechende Denken beherrschen. Dazu gehören auch die Fähigkeiten, aus vorgegebenen Problemen formale Modelle zu erstellen und mit diesen zu experimentieren (Beherrschung von Experimentaldesigns). Ebenso sollen hier die logischen Grundlagen von Programmiersprachen vermittelt werden und die allgemeinen Methoden des formal-mathematischen Denkens.

Inhaltsübersicht

• Mathematische Logik
• Aussagenlogik und Boolesche Netze
• Prädikatenlogik und logische Programmiersprachen
• Beweisverfahren
• (Finite) Mengenlehre
• Relationen, Abbildungen, Morphismen
• Fuzzy-Mengenlehre und Logik
• Graphentheorie
• Rekursive Strukturen und Funktionen
• Grundlagen komplexer Systeme

Verantwortlich

Prof. Dr. Jürgen Klüver, Dr. Jörn Schmidt

Voraussetzungen & Vorkenntnisse

keine

Literatur

• Buch: Mathematisch-logische Grundlagen der Informatik von Jürgen Klüver, Jörn Schmidt, Christina Stoica, W3L-Verlag, Herdecke, 2006

Weiterführende Literatur

• Mattson, H.F.; Discrete Mathematics with Applications, New York u.a.,Wiley, 1993.
  Gute, ausführliche und didaktisch hervorragend gestaltete Einführung in die wichtigsten mathematischen Grundlagen für angehende Informatiker mit sehr vielen Beispielen und Übungen.
• Townsend, M.; Discrete Mathematics: Applied Combinatorics and Graph Theory, Menlo Park, CA, The Benjamin Cummings Publ. Co..
  Eine didaktisch gut gestaltete und sehr anschauliche Einführung in das Thema, mit sehr vielen Beispielen und Übungen.

Online-Kurse

• Mathematisch-logische Grundlagen der Informatik