формальные доказательства
91Тьюринга машина — Машина Тьюринга (МТ) абстрактный исполнитель (абстрактная вычислительная машина). Была предложена Аланом Тьюрингом в 1936 году для формализации понятия алгоритма. Машина Тьюринга является расширением конечного автомата и, согласно тезису Чёрча… …
92Энцефалит Расмуссена — Энцефалит Расмуссена …
93Модель акторов — В компьютерных науках модель акторов представляет собой математическую модель параллельных вычислений, которая трактует понятие «актор» как универсальный примитив параллельного численного расчёта: в ответ на сообщения, которые он получает, актор… …
94ЛОГИКА ФОРМАЛЬНАЯ — наука, изучающая мышление с т. зр. его способности быть оформленным в языке. Наиболее распространенным для пропедевтического варианта Л. ф. остается определение ее как науки о формах и законах правильного мышления. Однако именно языковая… …
95Венчур — (Venture) Формы организации венчура Венчурное финансирование и бизнес, внутренний и внешний венчур Содержание Содержание Раздел 1. и венчурное . Раздел 2. Венчурный бизнес. Раздел 3. Венчурные . Раздел 4. Внутренний и внешний венчур. Венчур… …
96Ценная бумага — (Securities) Определение ценной бумаги, признаки ценной бумаги Информация об определении ценной бумаги, признаки ценной бумаги Содержание Содержание Признаки Формальные признаки ценной бумаги Бездокументарные ценные бумаги Виды ценных бумаг… …
97Александр II (часть 2, XIII-XIX) — XIII. Дела внутренние (1866—1871). 4 го апреля 1866 года, в четвертом часу дня, Император Александр, после обычной прогулки в Летнем саду, садился в коляску, когда неизвестный человек выстрелил в него из пистолета. В эту минуту, стоявший в… …
98Математика — Слово математика происходит от греческого μάθημα (наука, учение), в свою очередь происходящего, вместе с имеющим одно с ним значение словом μάθησις, от глагола μανθάνω, первоначальное значение которого, учусь через размышление , устанавливало… …
99ДИАЛЕКТИКА — (от греч. dialektike (techne) искусство вести беседу, спор) филос. теория, утверждающая внутреннюю противоречивость всего существующего и мыслимого и считающая эту противоречивость основным или даже единственным источником всякого движения и… …
100ИНТУИЦИОНИЗМ — совокупность философских и математич. идей и методов, рассматривающих математику как науку об умственных построениях. С точки зрения И., основным критерием истинности математич. суждения является интуитивная убедительность возможности построения… …