Found 6 relevant results in 3.00s where lecturer="Dmitry Feichtner-Kozlov"

Search options
Showing results ordered by
Results view
VVZ CR
251-0472-00L 2005S 5 Credits

No description available.

Logic

Logik

VVZ CR
252-0007-00L 2003W , 2004W , 2005W , 2006W , 2007W 4 Credits BSC D-INFK

Introduction to propositional logic, predicate logic and logic programming (Prolog).

2003W
2004W
2005W
2006W
VVZ CR
252-4202-00L 2006S , 2006W , 2007S , 2007W , 2008S , 2008W , 2020S , 2020W , 2021S , 2021W , 2022S , 2022W , 2023S , 2023W , 2024S , 2024W , 2025S , 2025W , 2026S , 2026W 2 Credits DR , MSC , WBZ D-MATH , D-INFK

Presentation of recent publications in theoretical computer science, including results by diploma, masters and doctoral candidates.

2006S
2006W
2007S
2007W
2008S
2008W
2020S
2020W
2021S
2021W
2022S
2022W
2023S
2023W
2024S
2024W
2025S
2025W
2026W

Seminar in Theoretical Computer Science

Seminar der Theoretischen Informatik

VVZ CR
251-0432-00L 2004S , 2005S , 2006S , 2007S , 2008S 4 Credits DS D-INFK

Presentation of recent publications in theoretical computer science, including results by diploma, masters and doctoral candidates.

2004S
2005S
2006S
2007S

Seminar in Theoretical Computer Science

Seminar der Theoretischen Informatik

VVZ CR
251-0431-00L 2006W 4 Credits DS D-INFK

Presentation of recent publications in theoretical computer science, including results by diploma, masters and doctoral candidates.

VVZ CR
401-3055-00L 2004W 6 Credits

No description available.