формальные доказательства
101Теория множеств — Теория множеств  раздел математики, в котором изучаются общие свойства множеств. Теория множеств лежит в основе большинства математических дисциплин; она оказала глубокое влияние на понимание предмета самой… …
102Теория алгоритмов — Теория алгоритмов  наука, изучающая общие свойства и закономерности алгоритмов и разнообразные формальные модели их представления. К задачам теории алгоритмов относятся формальное доказательство алгоритмической неразрешимости задач,… …
103Голодомор на Украине — История Украины …
104Сканское наречие — Самоназвание: skånsk Страны: Швеция …
105Логика в компьютерных науках — Логика в информатике это направления исследований и отрасли знания, где логика применяется в информатике и искусственном интеллекте. Логика оказалась гораздо более эффективной в информатике, чем это было в математике[1]. Включаются следующие… …
106Южные диалекты шведского языка — Сканское наречие Самоназвание: skånsk Страны: Швеция Регионы: Скания Общее число носителей: 80 тыс. чел. в Швеции (2002) Статус …
107Лемма о накачке для регулярных языков — В теории формальных языков, лемма о накачке для регулярных языков описывает существенное свойство всех регулярных языков. Неформально она утверждает, что все достаточно длинные слова регулярного языка можно накачать, то есть повторить внутреннюю… …
108Нормальная форма Хомского — Для улучшения этой статьи желательно?: Исправить статью согласно стилистическим правилам Википедии. Викифицировать статью. Найти и оформить в виде сносок ссылки на авторитетн …
109Satisfiability Modulo Theories — В программировании, Satisfiability Modulo Theories (SMT) это задача разрешимости для логических формул с учётом лежащих в их основе теорий. Примерами таких теорий для SMT формул являются: теории целых и вещественных чисел, теории списков,… …
110анализ и синтез — АНАЛИЗ И СИНТЕЗ. Анализ (от греч. analysis разложение, расчленение) реальное или мысленное разложение объекта на компоненты; синтез (от греч. sythesis соединение, сочетание) реальное или мысленное объединение этих компонентов в целостный… …