BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Plone.org//NONSGML plone.app.event//EN
X-WR-TIMEZONE:Europe/Berlin
BEGIN:VEVENT
SUMMARY:Vorkurs Informatik: Formale Methoden der Informatik
DTSTART;TZID=Europe/Berlin:20250908T091500
DTEND;TZID=Europe/Berlin:20250919T150000
DTSTAMP:20260504T140808Z
UID:9990d23bae4e47c081d69fba2d170f2f@www.informatik.uni-bonn.de
CATEGORIES:Veranstaltung
CREATED:20241203T102037Z
DESCRIPTION:Dieser Vorkurs richtet sich an die Erstsemesterstudierenden In
 formatik und Cyber Security. In dem Vorkurs sollen für die Informatik wic
 htige formale und mathematische Grundlagen behandelt werden.\n\nThemen u.a
 .:\n\n    Mathematische Sprache\n    Aussagenlogik\, Prädikatenlogik\n   
  Zahlendarstellung in verschiedenen Basen\n    Beweistechniken (direkte\, 
 indirekte Beweise\; Ringschluss\; vollständige Induktion)\n    Funktionen
  und Relationen\n    Grundlegende algebraische Strukturen\n    Rekapitulat
 ion bekannter Rechengesetze\n\nZielgruppen\n\n    Cyber Security (B.Sc.)\n
     Informatik (B.Sc.)\n    Informatik (Lehramt)
LAST-MODIFIED:20260114T103817Z
URL:https://www.informatik.uni-bonn.de/de/aktuelles/vf/2025-1/vorkurs-form
 ale-methoden-2025
END:VEVENT
BEGIN:VTIMEZONE
TZID:Europe/Berlin
X-LIC-LOCATION:Europe/Berlin
BEGIN:DAYLIGHT
DTSTART:20250330T030000
TZNAME:CEST
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
END:DAYLIGHT
END:VTIMEZONE
END:VCALENDAR