Екзамен: 2014-01-18, 09:00.

Консультація: 2014-01-17, 17:00.

Структура екзаменаційного білету

Екзаменаційні питання

    Рекомендовані джерела
  1. Грис Д. Наука программирования. - М: МИР, 1984. - 416 c.
  2. G. Nelson and D. Detlefs. Simplify - attempt to prove first-order formulas\\Файл: Simplify.html
  3. 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р.