Logic and Discrete Structures
Announcements
Welcome to Logic and Discrete Structures!
Dear students,
welcome to the Logic and Discrete Structures course! In our course you will learn the basics that help in computer programming: logic, discrete math and we will program in Python. We hope to learn together in a pleasant atmosphere this semester. On this page and on the Virtual Campus you will find all the materials from our course.
See you in class!
25.09.2023Laboratory
Installation guide - for Python and Pycharm [RO]Lab 1 - Introduction. Functions
Lab 2 - Functions
Lab 3 - Recursion
Lab 4 - Lists
Lab 6 - Sets
Lab 7 - Dictionaries
Lab 8 - Trees
Lab 9 - Propositional Logic
Lab 10 - Automata & Regular Expressions
Lab 11 - Grammars
Homeworks
Homework 1 - FunctionsHomework 2 - Functions 2
Exercises 3 - Recursion
Exercises 4 - Lists
Exercises 6 - Sets
Exercises 7 - Dictionaries
Exercises 8 - Trees
Exam
The Logic and Discrete Structures exam is scheduled for 27 January 2024. Here you can find a model topic for this exam:Topic model
Courses
Course 1 - Demonstrations. Sets. FunctionsCourse 2 - Sets. Tuples. Function Composition. Types of data
Course 3 - Recursion
Course 4 - Lists
Course 5 - Sets
Course 6 - Relations. Dictionaries
Course 7 - Graphs
Course 8 - Trees. Touples
Course 9 - Propositional Logic I
Course 10 - Propositional Logic II
Course 11 - First Order Logic
Course 12 - Automata. Regular Expressions
Course 13 - Grammars. Turing machines
Resources
The Virtual TeacherChat Bot
Applied Discrete Structures
de Alan Doerr, Kenneth Levasseu
Computer Science: Abstraction to Implementation
de Robert M. Keller
Mathematical Foundations of Computing
Stanford University
Other online classes
Mathematical Thinking in Computer ScienceUniversity of California San Diego
An Introduction to Logic for Computer Science
University of Leeds
Learn to Program: The Fundamentals
University of Toronto
Introduction to Python Programming
University of Pennsylvania