Inštrukcie na odovzdávanie riešení praktických úloh.
| Týždeň | Prezentácie z prednášok | Teoretické úlohy | Praktické úlohy |
|---|---|---|---|
| 1 | Úvod. Atomické formuly a štruktúry | tu01 (AIN) | SAT solver |
| 2 | Výrokovologické spojky | tu02 (AIN) | Sudoku |
forked from FMFI-UK-1-AIN-412/2022-lpi
-
Notifications
You must be signed in to change notification settings - Fork 0
lk0103/lpi
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
Logika pre informatikov
Resources
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published
Languages
- Python 64.9%
- C++ 13.7%
- Java 13.0%
- Shell 4.2%
- JavaScript 2.8%
- HTML 0.8%
- CMake 0.6%