Formalisierung - Einzelansicht

Funktionen (Veranstaltung):
Funktionen (Teilnehmer/-in):
Anmelden/abmelden

Seiteninhalt:
Grunddaten
Termine
Zugeordnete Person
Studiengänge
Einrichtungen
Inhalt
Strukturbaum

Grunddaten
Veranstaltungsart	Übung/Projekt
Veranstaltungsnummer	4361	Kurztext
Semester	WiSe 2022/23	SWS	2
Erwartete Teilnehmer/-innen	30	Max. Teilnehmer/-innen	30
Rhythmus	i.d.R. jedes 2. Semester	Studienjahr / Zielgruppe
Credits		Anmeldung	Anmeldepflicht , Vergabe: Manuell (?)
Hyperlink		Evaluation	Nein
Sprache	deutsch
Anmeldefrist	Anmeldung (Einzelvergabe) 13.09.2022 - 27.10.2022 23:59:59 Anmeldepflicht

Termine Gruppe: 1-Gruppe
	Tag	Zeit	Rhythmus	Dauer	Raum (mögliche Änderungen beachten!)	Raum- plan	Lehrperson	Status	Bemerkung	fällt aus am	Max. Teilnehmer/-innen
	Mo.	16:00 bis 17:00 s.t.	wöchentlich	07.11.2022 bis 13.02.2023	Externes Gebäude - Online-Lehre (ggf. folgt Raumangabe für Ausnahme Präsenzlehre)		Kölle	findet statt
	Mo.	16:00 bis 17:00 s.t.	wöchentlich	14.11.2022 bis 13.02.2023	Altbau Bühler-Campus - BC.L.0.41 (Multimedia-Bühne)			findet statt

Gruppe 1-Gruppe:

Jetzt anmelden / abmelden

Zugeordnete Person
Kontaktperson (durchführend)	Zuständigkeit
Kölle, Ralph, Dr.	verantwortlich und durchführend

Studiengänge
Abschluss	Studiengang	Semester	ECTS	Kontingent
Master	M.A. IIM-IW	1 -

Hinweis: Die Angaben zu den Semestern sind nur Empfehlungen, keine Anmeldebeschränkungen.

LSF - Module
Modulkürzel	Modultitel
MIW-Form	MA-IIM-G2, TM: Formalisierung

Zuordnung zu Einrichtungen
Inst. für Informationswissenschaft und Sprachtechnologie

Inhalt
Literatur	Literatur wird bekannt gegeben.
Bemerkung	Die Veranstaltung dient als Ergänzung zur Veranstaltung 4360 und dient der praktischen Umsetzung der theoretischen Inhalte. Hinweise: für die Studiengänge IMIT und WI reicht die Anmeldung zu Aktuelle Standards, Sie besuchen und bearbeiten die gleichen Inhalte und bekommen am Ende wie im Modulhandbuch hinterlegt 6 LP. Für Formalisierung müssen Sie sich nicht extra anmelden (und können Sie vermutlich auch gar nicht). Studierende des M.A. IIM-IW melden sich bitte für beide Kurse an. Durchführung: aufgrund der Erfahrungen der letzten Jahre (und den aktuellen Ausläufern der Pandemie) wird ein Großteil der Veranstaltung online stattfinden, wir verwenden dazu u.a. das BBB, das Collaboard sowie ShareLatex in der AcademicCloud. Ggf. streuen wir Vorort-Workshops bei Bedarf ein. Details erhalten Sie in der ersten Semesterwoche per Mail, da aufgrund des Feiertags just der erste Termin ausfällt. Start im BBB ist dann erst der 7.11., Sie bekommen aber vorher Informationen zum Einstieg. Diese Veranstaltung sowie auch die Veranstaltung "4360 - Aktuelle Standards" wird zu großen Teilen digital und in deutscher Sprache angeboten.
Voraussetzungen	MA-IIM1-2: Formalisierung
Lerninhalte	Die Veranstaltung dient als Ergänzung zur Veranstaltung 4360 und dient der praktischen Umsetzung der theoretischen Inhalte. Hinweise: für die Studiengänge IMIT und WI reicht die Anmeldung zu Aktuelle Standards, Sie besuchen und bearbeiten die gleichen Inhalte und bekommen am Ende wie im Modulhandbuch hinterlegt 6 LP. Für Formalisierung müssen Sie sich nicht extra anmelden (und können Sie vermutlich auch gar nicht). Studierende des M.A. IIM-IW melden sich bitte für beide Kurse an. Durchführung: aufgrund der Erfahrungen der letzten Jahre (und den aktuellen Ausläufern der Pandemie) wird ein Großteil der Veranstaltung online stattfinden, wir verwenden dazu u.a. das BBB, das Collaboard sowie ShareLatex in der AcademicCloud. Ggf. streuen wir Vorort-Workshops bei Bedarf ein. Details erhalten Sie in der ersten Semesterwoche per Mail, da aufgrund des Feiertags just der erste Termin ausfällt. Start im BBB ist dann erst der 7.11., Sie bekommen aber vorher Informationen zum Einstieg. Lernziele Die Studierenden kennen formale Konzepte der Modellierung und können diese einsetzen. Sie können die Grenzen der prinzipiellen Möglichkeiten der Formalisierung mittels theoretisch fundierter Aussagen benennen und einschätzen. Diese Veranstaltung sowie auch die Veranstaltung "4360 - Aktuelle Standards" wird zu großen Teilen digital und in deutscher Sprache angeboten.
Zielgruppe	Master IIM

Strukturbaum

Keine Einordnung ins Vorlesungsverzeichnis vorhanden. Veranstaltung ist aus dem Semester WiSe 2022/23 , Aktuelles Semester: WiSe 2023/24

Wenn Sie diesen Text sehen, ist auf ihrem Gerät noch nicht das neue Layout geladen worden. Bitte laden Sie diese Seite neu (ggf. mit gedrückter 'Shift'- oder 'Alt'-Taste) oder in einem 'privaten Fenster'. Weitere Hinweise unter https://www.uni-hildesheim.de/wiki/lsf/faq/fehler.im.layout.

Formalisierung - Einzelansicht

Wenn Sie diesen Text sehen, ist auf ihrem Gerät noch nicht das neue Layout geladen worden. Bitte laden Sie diese Seite neu (ggf. mit gedrückter 'Shift'- oder 'Alt'-Taste) oder in einem 'privaten Fenster'.
Weitere Hinweise unter https://www.uni-hildesheim.de/wiki/lsf/faq/fehler.im.layout.