Лекции по логике. Фильтр по заголовку
Логика. Курс лекций. Фильтр по заголовку
Краткий конспект лекций по курсу «Логика»
Курс лекций по логике на экзамен. Фильтр по
Логика – лекции. Фильтр по заголовку
A={a0,..,ai,…} – внешний алфавит МТ (счетное множество).
Язык — система знаков, служащих для передачи информации.
С математической точки зрения машина Тьюринга — просто