Учебные программы
22.04.2015
Учебная программа | Уровень: для всех | Доступ: платный
Рассматриваются машина Тьюринга, теория конечных автоматов, формальные системы и грамматики, логика и исчисление предикатов.
|