Dr. Jan Bouda - personal web page

• IV111 Probability in Computer Science
• IB101 Introduction to Logic and Logical Programming
• IA084 Hot Topics in Quantum Information Processing
• IA075 Quantum Seminar
• IV055 Cryptographic Seminar
• Past Years

IB101 Úvod do logiky a logického programování

Zadání příkladů ze cvičení

1. Příklady k lekci 1
2. Příklady k lekci 2
3. Příklady k lekci 3
4. Příklady k lekci 4
5. Příklady k lekci 5
6. Příklady k lekci 6
7. Příklady k lekci 7
8. Příklady k lekci 8
9. Příklady k lekci 9
10. Příklady k lekci 10
11. Příklady k lekci 11
12. Příklady k lekci 12

Řešení příkladů ze cvičení

Zde se budou postupně v průběhu semestru objevovat sady příkladů ze cvičení i se vzorovými řešeními, vždy po jejich probrání na cvičení (s cca týdenním odstupem).

1. Řešení příkladů k lekci 1
2. Řešení příkladů k lekci 2
3. Řešení příkladů k lekci 3
4. Řešení příkladů k lekci 4
5. Řešení příkladů k lekci 5
6. Řešení příkladů k lekci 6
7. Řešení příkladů k lekci 7
8. Řešení příkladů k lekci 8
9. Řešení příkladů k lekci 9
10. Řešení příkladů k lekci 10

News:

IV055