Teaching Page
Welcome to my Web-notes!
This page is specially addressed to my students from
West University of Timisoara
Computer Science Department
Winter Semester 2023
- Graph Theory and Combinatorics (English, Second year bachelor)
Summer Semester 2023
- Logic and Functional Programming (Romanian, Second year bachelor)
- Automated Theorem Proving (English, First year master)
Winter Semester 2022
- Graph Theory and Combinatorics (English, Second year bachelor)
- Algorithm Synthesis and Mathematical Theory Exploration (English, Second year master)
Summer Semester 2022
- Logic and Functional Programming (Romanian, Second year bachelor)
- Automated Theorem Proving (English, First year master)
Winter Semester 2021
- Graph Theory and Combinatorics (English, Second year bachelor)
- Algorithm Synthesis and Mathematical Theory Exploration (English, Second year master)
Summer Semester 2021
- Logic and Functional Programming (Romanian, Second year bachelor)
- Automated Theorem Proving (English, First year master)
Winter Semester 2020
- Graph Theory and Combinatorics (English, Second year bachelor)
- Algorithm Synthesis and Mathematical Theory Exploration (English, Second year master)
- Formal Verification (Romanian, Second year master)
Summer Semester 2019
- Functional Programming (Romanian, Second year bachelor)
- Automated Theorem Proving (English, First year master)
Winter Semester 2019
- Logic Programming (Romanian, Second year bachelor)
- Logic Programming (English, Second year master)
Back to homepage