формальные доказательства
81Иоанн Дунс Скот — Дунс Скот Duns Scotus Дата рождения …
82Лемма о разрастании — Лемма о накачке, или лемма о разрастании (англ. pumping lemma) в теории автоматов важная лемма, позволяющая во многих случаях проверить, является ли данный язык автоматным. Поскольку все конечные языки являются автоматными, эту проверку… …
83Детерминированная машина Тьюринга — Машина Тьюринга (МТ) абстрактный исполнитель (абстрактная вычислительная машина). Была предложена Аланом Тьюрингом в 1936 году для формализации понятия алгоритма. Машина Тьюринга является расширением конечного автомата и, согласно тезису Чёрча… …
84Дунс Скот, Иоанн — Дунс Скот Дата и место рождения: 1265, Дунс Дата и место смерти: 1308, Кёльн …
85Дунс, Скот — Дунс Скот Дата и место рождения: 1265, Дунс Дата и место смерти: 1308, Кёльн …
86Дунс Скот — Дата и место рождения: 1265, Дунс Дата и место смерти: 1308, Кёльн …
87Дунс Скотт — Дунс Скот Дата и место рождения: 1265, Дунс Дата и место смерти: 1308, Кёльн …
88Логическая уловка — Логическая уловка  в логике, философии и пр. науках, изучающих познание, заведомо ошибочный способ обоснования тезиса, который в силу учёта психологических особенностей собеседника обладает убеждающим воздействием[1]. Ошибочность обусловлена …
89Машина Тьюринга для умножения чисел — Машина Тьюринга (МТ) абстрактный исполнитель (абстрактная вычислительная машина). Была предложена Аланом Тьюрингом в 1936 году для формализации понятия алгоритма. Машина Тьюринга является расширением конечного автомата и, согласно тезису Чёрча… …
90Машина тьюринга — (МТ) абстрактный исполнитель (абстрактная вычислительная машина). Была предложена Аланом Тьюрингом в 1936 году для формализации понятия алгоритма. Машина Тьюринга является расширением конечного автомата и, согласно тезису Чёрча Тьюринга, способна …
