formal (в различных значениях)
1ЛОГИКА ВЫСКАЗЫВАНИЙ — раздел логики, в котором изучаются истинностные взаимосвязи между высказываниями. В рамках данного раздела высказывания (пропозиции, предложения) рассматриваются только с т.зр. их истинности или ложности, безотносительно к их внутренней субъектно …
2МОДАЛЬНАЯ ЛОГИКА — раздел логики, в котором исследуются логические связи модальных высказываний, т.е. высказываний, включающих модальности. Мл. слагается из ряда направлений, каждое из которых занимается модальными высказываниями определенного типа. В современной М …
3ЕВАНГЕЛИЕ. ЧАСТЬ II — Язык Евангелий Проблема новозаветного греческого Дошедшие до нас оригинальные тексты НЗ написаны на древнегреч. языке (см. ст. Греческий язык); существующие версии на др. языках это переводы с греческого (или с др. переводов; о переводах… …
4ФОРМАЛЬНАЯ ФИЛОСОФИЯ — существующая в течение тысячелетий тенденция философии к фундаментальному обобщению понятий и законов, присущих формальным аспектам частных философских наук: формальной логики, формальной онтологии, формальной этики (см. в наст. словаре ст. с… …
5Фирма — (Firm) Определение фирмы, признаки и классификация фирм Определение фирмы, признаки и классификация фирм, концепции фирмы Содержание Содержание Фирма Юридические формы Понятие фирмы и предпринимательства. Основные признаки и классификации фирм… …
6DPLL-Алгоритм — Алгоритм Дэвиса–Патнема–Логемана–Лавленда (DPLL) это полный алгоритм поиска с возвратом для определения выполнимости булевых формул, записанных в конъюнктивной нормальной форме, т.е. для решения задачи CNF SAT. Алгоритм был опубликован в 1962… …
7vCard — Расширение .vcf, .vcard MIME text/x vcard text/directory;profile=vCard text/directory Разработан Internet Mail Consortium Тип формата электронная визитная карточка Содержит контактную информацию vCard текс …
