Conducted in
term:
2026Z
ECTS credits:
2
Language:
Polish
Organized by:
Faculty of Philosophy
(for:
University of Warsaw)
Related to study programmes:
- Inter-faculty Studies in Bioinformatics and Systems Biology
- Bachelor's degree, first cycle programme, Computer Science
- Bachelor's degree, first cycle programme, Mathematics
- Master's degree, second cycle programme, Bioinformatics and Systems Biology
- Master's degree, second cycle programme, Computer Science
- Master's degree, second cycle programme, Mathematics
Logic in the Design and Modeling of Digital and AI Systems 3800-LPSM26-K-OG
This course has not yet been described...
Course coordinators
Type of course
general courses
Prerequisites (description)
(in Polish) Nie są wymagane specjalistyczne kompetencje formalne ani wcześniejsze ukończenie kursów z logiki
formalnej lub programowania. Mile widziane są podstawowe zainteresowania filozofią, logiką,
Additional information
Information on level of this course, year of study and semester when the course unit is delivered, types and amount of class hours - can be found in course structure diagrams of apropriate study programmes. This course is related to the following study programmes:
- Inter-faculty Studies in Bioinformatics and Systems Biology
- Bachelor's degree, first cycle programme, Computer Science
- Bachelor's degree, first cycle programme, Mathematics
- Master's degree, second cycle programme, Bioinformatics and Systems Biology
- Master's degree, second cycle programme, Computer Science
- Master's degree, second cycle programme, Mathematics