Екзамен: 2014-01-18, 09:00.
Консультація: 2014-01-17, 17:00.
Структура екзаменаційного білету
Екзаменаційні питання
Рекомендовані джерела
- Грис Д. Наука программирования. - М: МИР, 1984. - 416 c.
- G. Nelson and D. Detlefs. Simplify - attempt to prove first-order formulas\\Файл: Simplify.html
- D. Detlefs, G. Nelson, and J.B. Saxe. Simplify: A Theorem Prover for Program Checking\\Файл: Simplify.pdf - p.p. 366-367.
Результати бліц-тестування ПК-13м
Рейтинги ПК-13м
Контрольна робота за проханням студентів перенесена з 20 листопада на 4 грудня 2013р.
