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
International Profile
Come in
Go out
International Campus
Refugees
Contact
My Uni
DE
Login
Login
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 2024/2025
SoSe 2024
WiSe 2023/2024
Previous...
Formale Logik (Vorlesung)
No courses found
Formale Logik (Übung)
No courses found
Links
To student information page
Formale Logik (Vorlesung)
Formale Logik (Übung)
Uses
Bioinformatics and Genome Research / Master of Science (Enrollment from WiSe 16/17 onwards)
Fundamentals of Cognitive Systems / Bachelor (Enrollment until SoSe 2023): Minor Subject (Academic), 60 CPs
Informatics / Bachelor of Science (Enrollment from WiSe 23/24 onwards): Major Subject (Academic) // Modelling
Informatics / Bachelor (Enrollment from WiSe 23/24 onwards): Minor Subject (Academic), 60 CPs // Practical Informatics
Informatics / Bachelor (Enrollment from WiSe 23/24 onwards): 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 from WiSe 16/17 onwards)
Top of page