Berechenbarkeit und Formale Sprachen (Prüfungsordnungsmodul)7.5 ECTS (englische Bezeichnung: Theory of computation and formal languages)
Die Beschreibung eines Prüfungsordnungsmoduls enthält allgemeine
Angaben zur Verwendbarkeit und zu den Rahmenbedingungen für Prüfungen,
so wie sie in den Prüfungsordnungen festgelegt sind. Zusätzlich kann eine allgemeine Modulbeschreibung, die übergreifend
für alle konkreten (UnivIS-)Module gilt, enthalten sein. Die
konkreten Modulbeschreibungen mit Angaben zu den
Lehrveranstaltungen und Prüfungsdetails sind unter den zugeordneten
UnivIS-Modulen zu finden.
Modulverantwortliche/r: Rolf Wanka
Dauer: | 1 Semester | Turnus: | jährlich (WS) | Sprache: | Deutsch |
Verwendbarkeit des Moduls / Einpassung in den Musterstudienplan:
- Data Science (Bachelor of Science)
(Po-Vers. 2020w | Wahlpflichtbereich | Wahlpflichtbereich Informatik | Berechenbarkeit und Formale Sprachen)
- Data Science (Bachelor of Science)
(Po-Vers. 2022s | Gesamtkonto | Wahlpflichtbereich | Wahlpflichtbereich Informatik | Berechenbarkeit und Formale Sprachen)
- Informatik (Bachelor of Science): 3. Semester
(Po-Vers. 2007 | TechFak | Informatik (Bachelor of Science) | Gesamtkonto | Pflichtmodule | Berechenbarkeit und Formale Sprachen)
- Informatik (Bachelor of Science): 4. Semester
(Po-Vers. 2009s | TechFak | Informatik (Bachelor of Science) | weitere Pflichtmodule | Berechenbarkeit und Formale Sprachen)
- Informatik (Bachelor of Science): 3. Semester
(Po-Vers. 2009w | TechFak | Informatik (Bachelor of Science) | Gesamtkonto | weitere Pflichtmodule | Berechenbarkeit und Formale Sprachen)
- Informatik (Bachelor of Science)
(Po-Vers. 2022w | TechFak | Informatik (Bachelor of Science) | Gesamtkonto | Berechenbarkeit und Formale Sprachen)
- Maschinenbau (Master of Science)
(Po-Vers. 2007 | TechFak | Maschinenbau (Master of Science) | Studienrichtungen Allgemeiner Maschinenbau, Fertigungstechnik, und Rechnergestützte Produktentwicklung | Gesamtkonto | Wahlmodule | Technische Wahlmodule | Berechenbarkeit und Formale Sprachen)
- Mathematik (Bachelor of Science): 3. Semester
(Po-Vers. 2007 | NatFak | Mathematik (Bachelor of Science) | alte Prüfungsordnungen | Gesamtkonto | Nebenfach Informatik | Wahlbereich 2 | Berechenbarkeit und Formale Sprachen)
- Mathematik (Bachelor of Science): 3. Semester
(Po-Vers. 2009 | NatFak | Mathematik (Bachelor of Science) | alte Prüfungsordnungen | Nebenfach Informatik | Module im 2. und 3. Studienjahr | Wahlbereich 2 | Berechenbarkeit und Formale Sprachen)
- Mathematik (Bachelor of Science)
(Po-Vers. 2015w | NatFak | Mathematik (Bachelor of Science) | Module des Nebenfachs | Nebenfach Informatik | Vertiefungsmodule | Berechenbarkeit und Formale Sprachen)
- Mathematik (Bachelor of Science)
(Po-Vers. 2019w | NatFak | Mathematik (Bachelor of Science) | weitere Module der Bachelorprüfung | Module des Nebenfachs | Nebenfach Informatik | Vertiefungsmodule | Berechenbarkeit und Formale Sprachen)
- Wirtschaftsmathematik (Bachelor of Science)
(Po-Vers. 2015w | NatFak | Wirtschaftsmathematik (Bachelor of Science) | Nebenfach Informatik | Berechenbarkeit und Formale Sprachen)
- Wirtschaftsmathematik (Bachelor of Science)
(Po-Vers. 2019w | NatFak | Wirtschaftsmathematik (Bachelor of Science) | Gesamtkonto | Nebenfach Informatik | Berechenbarkeit und Formale Sprachen)
Studien-/Prüfungsleistungen:
- Berechenbarkeit und Formale Sprachen (Prüfungsnummer: 30101)
(englische Bezeichnung: Examination (Klausur) on Theory of computation and formal languages)
- Prüfungsleistung, Klausur, Dauer: 90 min, Drittelnoten (mit 4,3), 5 Leistungspunkte
- Anteil an der Berechnung der Modulnote: 100.0 %
- Übung Berechenbarkeit und Formale Sprachen (Prüfungsnummer: 30102)
(englische Bezeichnung: Tutorial credit: Theory of computation and formal languages)
- Studienleistung, Übungsleistung, unbenotet, 2.5 Leistungspunkte
UnivIS-Module:UnivIS-Module im aktuellen Semester (WS 2022/2023):
|