INBGA9943-17
- Oktató: Bertók Csanád
INMPA0103-17,INMPA0103-21
- Oktató: Bertók Csanád
INBGA0530-17
- Oktató: Pintér-Huszti Andrea
INBGA0530-17
- Oktató: Oláh Norbert
INBMA0106-17
- Oktató: Bertók Csanád
Logic for BI, CS and CSE students (and some CS)
- Foundations of computer science (INBGA0101)
- Introduction into Logic and Computer Science (INBMA0106)
- Logic in computer science (INBPA0101)
- Oktató: Aszalós László
- Oktató: Bertók Csanád
- Oktató: Dr. Bujdosó Gyöngyi
- Oktató: Vécsi Ádám