Skip to Main Content
Universität Bielefeld
Play
rectangle-plus
Universität Bielefeld
Main menu
eKVV
Home
my
eKVV
Degree programme selection
Search for modules
Current news
Now!
Room changes
News
Calendar integration
and newsfeeds
Organisation
Faculties
Teaching staff
Examinations
Rooms
Overlapping
courses
Semester selection
Combination search
Courses taught in English
Archived degree programmes
History
Help & Contact
University
Profile
Faculties
Organization
Career
University Library
Alumni and Promotion
Events and Cultural Life
Media and News
Directions and Contact
Staff and Department Search
Emergency
Research
Research Profile
CRIS-Portal
Research Transfer
Research Support
Studies
Prospectives
Freshers
Students
Internationals
Pupils
Teaching
Teaching Profile
Guiding Principle for Teaching
Living Document
Digital Teaching
Funding and Calls for Proposals for Good Teaching
Innovative teaching projects
BI.teach
International
Internationales Profil
Come in
Go out
Internationaler Campus
Geflüchtete und Gefährdete
Kontakt
MyUni
DE
Log in
Log in
Home
my
eKVV
Degree programme selection
Search for modules
Current news
Now!
Room changes
News
Calendar integration
and newsfeeds
Organisation
Faculties
Teaching staff
Examinations
Rooms
Overlapping
courses
Semester selection
Combination search
Courses taught in English
Archived degree programmes
History
Help & Contact
Module 39-Inf-FL_a Formal Logic
Semester selection:
WiSe 2026/2027
SoSe 2026
WiSe 2025/2026
Previous...
Formale Logik (lecture)
No courses found
Formale Logik (exercise)
No courses found
Links
To student information page
Formale Logik (lecture)
Formale Logik (exercise)
Uses
Bioinformatics and Genome Research / Master of Science (Enrollment until WiSe 25/26)
Fundamentals of Cognitive Systems / Bachelor (Enrollment until SoSe 2023): Minor Subject (Academic), 60 CPs
Informatics / Bachelor of Science (Enrollment from WiSe 25/26 onwards): Major Subject (Academic) // Modelling
Informatics / Bachelor (Enrollment from WiSe 25/26 onwards): Minor Subject (Academic), 60 CPs
Informatics / Bachelor of Science (Enrollment until SoSe 2025): Major Subject (Academic) // Modelling
Informatics / Bachelor (Enrollment until SoSe 2025): Minor Subject (Academic), 60 CPs // Practical Informatics
Informatics / Bachelor (Enrollment until SoSe 2025): Minor Subject (Academic), 60 CPs // Technical Informatics
Informatics / Bachelor of Science (Enrollment until SoSe 2023): Major Subject (Academic) // Technical Informatics
Informatics / Bachelor (Enrollment until SoSe 2023): Minor Subject (Academic), 60 CPs // Practical Informatics
Informatics / Bachelor (Enrollment until SoSe 2023): Minor Subject (Academic), 60 CPs // Technical Informatics
Intelligent Systems / Master of Science (Enrollment until SoSe 2023)
Informatics for the Natural Sciences / Master of Science (Enrollment until SoSe 2025)
Top of page