невыполнимость
21Задача о самолёте — «Задача о самолёте» обычно формулируется так: Самолет (реактивный или винтовой) стоит на взлётной полосе с подвижным покрытием (типа транспортёра). Покрытие может двигаться против направления взлёта самолёта, то есть ему навстречу. Оно имеет… …
22Самолёт на транспортёре — «Задача о самолёте» обычно формулируется так: Самолет (реактивный или винтовой) стоит на взлётной полосе с подвижным покрытием (типа транспортёра). Покрытие может двигаться против направления взлёта самолёта, то есть ему навстречу. Оно имеет… …
23Задача о самолете — «Задача о самолёте» обычно формулируется так: Самолет (реактивный или винтовой) стоит на взлётной полосе с подвижным покрытием (типа транспортёра). Покрытие может двигаться против направления взлёта самолёта, то есть ему навстречу. Оно имеет… …
24Задача про самолёт — «Задача о самолёте» обычно формулируется так: Самолет (реактивный или винтовой) стоит на взлётной полосе с подвижным покрытием (типа транспортёра). Покрытие может двигаться против направления взлёта самолёта, то есть ему навстречу. Оно имеет… …
25Задача про самолет — «Задача о самолёте» обычно формулируется так: Самолет (реактивный или винтовой) стоит на взлётной полосе с подвижным покрытием (типа транспортёра). Покрытие может двигаться против направления взлёта самолёта, то есть ему навстречу. Оно имеет… …
26DPLL-Алгоритм — Алгоритм Дэвиса–Патнема–Логемана–Лавленда (DPLL) это полный алгоритм поиска с возвратом для определения выполнимости булевых формул, записанных в конъюнктивной нормальной форме, т.е. для решения задачи CNF SAT. Алгоритм был опубликован в 1962… …
27иллюзорность — неосуществимость, утопичность, химеричность, эфемерность, ирреальность, фантастичность, неисполнимость, несбыточность, недостижимость, невозможность, обманчивость, невыполнимость, химерность, нереальность, призрачность Словарь русских синонимов.… …
28недостижимость — несбыточность, малореальность, утопичность, неприступность, иллюзорность, фантастичность, неисполнимость, недосягаемость, нереальность, неосуществимость, невозможность, невыполнимость, недоступность Словарь русских синонимов. недостижимость 1. см …
29Непротиворечивость — совместимость, свойство дедуктивной теории (или системы аксиом (См. Аксиома), посредством которых теория задаётся), состоящее в том, что из неё нельзя вывести противоречие, т. е. какие либо два предложения А и ¬ А, каждое из которых… …
30Бальмес — (Хаиме Лусиано Balmes) испанский философ и публицист, род. 28 авг. 1810 г. в г. Вик, в Каталонии, и тут же посещал Семинарию, по окончании которой продолжал богословское образование в Серверском университете, где в течение 4 лет изучал с… …
