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

Logik für Informatiker - Einzelansicht

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

Grunddaten
Veranstaltungsart	Vorlesung	Langtext
Veranstaltungsnummer	0431022	Kurztext	04IN1022
Semester	SoSe 2023
Erwartete Teilnehmer/-innen	180	Max. Teilnehmer/-innen
Rhythmus	jedes 2. Semester	Belegung	Belegpflicht
LV-Kennung (Lehrevaluation)	151203	Kurz-URL	https://klips.uni-koblenz.de/v/151203
Hyperlink	http://userpages.uni-koblenz.de/~sofronie/logik-ss-2023/	Durchführungsart	Präsenz
Weitere Links	Aktuelle GB_ab 12-2021_VSS-signed
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: [unbenannt]
	Tag	Zeit	Rhythmus	Termin	Prüfungs- termin	Raum	Gebäude / Karte	Campus	Lehrperson	Sprache	Bemerkung	fällt aus am	Max. Teilnehmer/-innen
	Mo.	12:00 bis 15:00	Einzel	am 14.08.2023	Ja	D 028	Gebäude D	Koblenz
	Di.	16:00 bis 18:00	woch	18.04.2023 bis 25.07.2023		M 001	Gebäude M
	Do.	16:00 bis 18:00	woch	20.04.2023 bis 27.07.2023		M 001	Gebäude M

Gruppe [unbenannt]:

vormerken

jetzt anmelden(belegen) / abmelden

Zugeordnete Personen
Zugeordnete Personen	Zuständigkeit
Sofronie-Stokkermans, Viorica , Prof. Dr.	verantwortlich
Felzen, Alexandra	begleitend
Peuter, Dennis , M.Ed.	begleitend
Böltz, Lucas Maximilian	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 Science	B.Sc. Wirtschaftsinformatik KO (2012)	1 - 6	2012
Bachelor of Education	B.Ed. Informatik KO (20111)	1 - 6	20111
Bachelor of Education	B.Ed. Technische Informatik KO (20111)	1 - 6	20111
Bachelor of Science	B.Sc. Computervisualistik KO (2019)	1 - 6	2019
Bachelor of Science	B.Sc. Wirtschaftsinformatik KO (2019)	1 - 6	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 - 6	2019
Master of Science	M.Sc. Computervisualistik KO (2019)	1 - 4	2019
Bachelor of Education	B.Ed. Informationstechnik/Informatik KO (20111)	1 - 6	20111
Zertifikat	Zert. Informatik KO (20118)	1 - 4	20118
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

Zu dieser Veranstaltung gehört folgende Übung
Nr.	Beschreibung	SWS
0431022	Übung zu Logik für Informatiker	1

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 node1: 200