Zur Seitennavigation oder mit Tastenkombination für den accesskey-Taste und Taste 1
Zum Seiteninhalt oder mit Tastenkombination für den accesskey und Taste 2

Sitemap

Startseite

Login

Informationen / Hilfe Veranstaltungen Personen

Verifizierung für Bescheinigungen

Übung zu Logik für Informatiker - Einzelansicht

Seiteninhalt:
Grunddaten
Termine
Zugeordnete Personen
Studiengänge
Prüfungen / Module
Einrichtungen
Strukturbaum

Grunddaten
Veranstaltungsart	Übung	Langtext
Veranstaltungsnummer	0431022	Kurztext	04IN1022
Semester	SoSe 2023
Erwartete Teilnehmer/-innen	50	Max. Teilnehmer/-innen
Rhythmus	jedes 2. Semester	Belegung	Belegpflicht
LV-Kennung (Lehrevaluation)	151202	Kurz-URL	https://klips.uni-koblenz.de/v/151202
Hyperlink	http://userpages.uni-koblenz.de/~sofronie/logik-ss-2023/uebung	Durchführungsart	Präsenz
Weitere Links	Aktuelle GB
Belegungsfristen	1. Belegphase 20.03.2023 - 02.04.2023 Belegpflicht
	3. Belegphase 21.04.2023 - 05.05.2023 Belegpflicht
	Abmeldephase 20.03.2023 - 21.05.2023 Belegpflicht
	2. Belegphase (O-Phase) 10.04.2023 - 16.04.2023 Belegpflicht

Termine Gruppe: 1. Gruppe
	Tag	Zeit	Rhythmus	Termin	Prüfungs- termin	Raum	Gebäude / Karte	Campus	Lehrperson	Sprache	Bemerkung	fällt aus am	Max. Teilnehmer/-innen
	Do.	08:00 bis 09:00	woch	20.04.2023 bis 27.07.2023		G 309	Gebäude G	Koblenz

Gruppe 1. Gruppe:

vormerken

jetzt anmelden(belegen) / abmelden

Termine Gruppe: 2. Gruppe
	Tag	Zeit	Rhythmus	Termin	Prüfungs- termin	Raum	Gebäude / Karte	Campus	Lehrperson	Sprache	Bemerkung	fällt aus am	Max. Teilnehmer/-innen
	Do.	09:00 bis 10:00	woch	20.04.2023 bis 27.07.2023		G 309	Gebäude G	Koblenz

Gruppe 2. Gruppe:

vormerken

jetzt anmelden(belegen) / abmelden

Termine Gruppe: 3. Gruppe
	Tag	Zeit	Rhythmus	Termin	Prüfungs- termin	Raum	Gebäude / Karte	Campus	Lehrperson	Sprache	Bemerkung	fällt aus am	Max. Teilnehmer/-innen
	Fr.	08:00 bis 09:00	woch	21.04.2023 bis 28.07.2023		G 309	Gebäude G	Koblenz

Gruppe 3. Gruppe:

vormerken

jetzt anmelden(belegen) / abmelden

Termine Gruppe: 4. Gruppe
	Tag	Zeit	Rhythmus	Termin	Prüfungs- termin	Raum	Gebäude / Karte	Campus	Lehrperson	Sprache	Bemerkung	fällt aus am	Max. Teilnehmer/-innen
	Fr.	09:00 bis 10:00	woch	21.04.2023 bis 28.07.2023		G 309	Gebäude G	Koblenz

Gruppe 4. Gruppe:

vormerken

jetzt anmelden(belegen) / abmelden

Zugeordnete Personen
Zugeordnete Personen	Zuständigkeit
Sofronie-Stokkermans, Viorica , Prof. Dr.	verantwortlich
Böltz, Lucas Maximilian	verantwortlich
Felzen, Alexandra	begleitend
Peuter, Dennis , M.Ed.	begleitend

Studiengänge
Abschluss	Studiengang	Semester	Prüfungsversion	Studienphase
Bachelor of Science	B.Sc. Informatik KO (2012)	1 - 6	2012
Bachelor of Science	BSc Wirtschftsinf. 2017	1 - 6	2017
Bachelor of Science	B.Sc. Computervisualistik KO (2012)	1 - 6	2012
Master of Science	M.Sc. Computervisualistik KO (2012)	1 - 4	2012
M.Ed. Gymnasium	M.Ed. Gym Informatik KO (20103)	1 - 4	20103
Bachelor of Education	B.Ed. Informatik KO (20111)	1 - 4	20111
Bachelor of Education	B.Ed. Technische Informatik KO (20111)	1 - 4	20111
Bachelor of Science	B.Sc. Computervisualistik KO (2019)	1 - 4	2019
Bachelor of Science	B.Sc. Wirtschaftsinformatik KO (2019)	1 - 4	2019
Master of Science	M.Sc. Math. Modeling Koblenz 20142	1 - 4	20142
M.Ed. Berufsschulen	M.Ed. BBS Informatik KO (20106)	1 - 4	20106
Bachelor of Science	B.Sc. Informatik KO (2019)	1 - 4	2019
Master of Science	M.Sc. Computervisualistik KO (2019)	1 - 4	2019
Zertifikat	Zert. Informatik KO (20118)	1 - 4	20118
Bachelor of Education	B.Ed. Informationstechnik/Informatik KO (20111)	1 - 4	20111
M.Ed. Realschule Plus	M.Ed. RS Informatik Koblenz 20102	1 - 4	20102

Prüfungen / Module
PrüfungsNr	ModulKz	Prüfung / Modul	ECTS	PO-Version	Standort	Prüfung für Studiengänge
431022	04IN1022	Logik für Informatiker (gültig ab: 01.10.2013)	6	0	KO	Bachelor of Education Informatik (20111), Bachelor of Education Informationstechnik/Infor (20111), Bachelor of Education Techn. Inform. (20111), Bachelor of Science Computervisualistik (2012), Bachelor of Science Computervisualistik (2019), Bachelor of Science Informatik (2012), Bachelor of Science Informatik (2019), Bachelor of Science Wirtschaftsinformatik (2012), Bachelor of Science Wirtschaftsinformatik (2017), Bachelor of Science Wirtschaftsinformatik (2019), Master of Science Computervisualistik (2012), Master of Science Computervisualistik (2019), Master of Science Mathematical Modeling, Si (20194), Master of Science Math. Modeling (20142), Master of Science Math. Modeling (20184), Master of Science Wirtschaftsinformatik (2012), Master of Science Wirtschaftsinformatik (2017), Master of Science Wirtschaftsinformatik (2019), M.Ed. Berufsschulen Informatik (20106), M.Ed. Gymnasium Informatik (20103), M.Ed. Realschule Plus Informatik (20102), Zertifikat Informatik (20118)
11050	INUF01	Logik für Informatiker (gültig ab: 01.04.2010)	8	0	KO	Bachelor of Science Computervisualistik (2006), Bachelor of Science Informatik (2006)

Zuordnung zu Einrichtungen
Institut für Informatik
FB 4 - Informatik

Diese Übung gehört zu folgender Veranstaltung
Nr.	Beschreibung	SWS
0431022	Logik für Informatiker	3

Strukturbaum

Keine Einordnung ins Vorlesungsverzeichnis vorhanden. Veranstaltung ist aus dem Semester SoSe 2023 , Aktuelles Semester: SoSe 2024

Erklärung zur Barrierefreiheit

QIS, LSF und HISinOne sind Produkte der HIS eG

User auf Server node2: 274