логика части

логика части
мат. logic of part

Большой англо-русский и русско-английский словарь. 2001.

Игры ⚽ Поможем написать курсовую

Смотреть что такое "логика части" в других словарях:

  • ЛОГИКА — (от греч. logos слово, понятие, рассуждение, разум), или Формальная логика, наука о законах и операциях правильного мышления. Согласно основному принципу Л., правильность рассуждения (вывода) определяется только его логической формой, или… …   Философская энциклопедия

  • ЛОГИКА ВЫСКАЗЫВАНИЙ — раздел логики, в котором изучаются истинностные взаимосвязи между высказываниями. В рамках данного раздела высказывания (пропозиции, предложения) рассматриваются только с т.зр. их истинности или ложности, безотносительно к их внутренней субъектно …   Философская энциклопедия

  • ЛОГИКА ПРЕДИКАТОВ — центральный раздел логики, в котором изучается субъектно предикатная структура высказывании и истинностные взаимосвязи между ними. Л.п. представляет собой содержательное расширение логики высказываний. В рамках данного раздела любое высказывание… …   Философская энциклопедия

  • Логика Бэрроуза — Логика Бэрроуза  Абади  Нидхэма (англ. Burrows Abadi Needham logic) или BAN логика (англ. BAN logic)  это формальная логическая модель для анализа знания и доверия, широко используемая при анализе протоколов… …   Википедия

  • ЛОГИКА ПОР-РОЯЛЯ —     ЛОГИКА ПОР РОЯЛЯ книга по дедуктивной логике, вышедшая в Париже в 1662 анонимно под названием “Logique ou l art de penser” (“Логика или искусство мыслить”). До нач. 19 го столетия была самым популярным учебником логики, выдержала более 50… …   Философская энциклопедия

  • Логика Хоара — (англ. Hoare logic, также Floyd Hoare logic, или Hoare rules)  формальная система с набором логических правил, предназначенных для доказательства корректности компьютерных программ. Была предложена в 1969 году английским учёным в… …   Википедия

  • логика предикатов —         ЛОГИКА ПРЕДИКАТОВ раздел символической логики, изучающий рассуждения и др. языковые контексты с учетом внутренней структуры входящих в них простых высказываний; при этом выражения языка трактуются функционально, т.е. как знаки некоторых… …   Энциклопедия эпистемологии и философии науки

  • Логика — (от logoV разум, слово, мышление) по мнению одних ? наука одоказательстве, по мнению других ? наука о законах и формах мышления.Чтобы познать Сущность Л. и ее задачи, следует обратиться к истории. I. Л. есть продукт греческого ума. Признавать… …   Энциклопедия Брокгауза и Ефрона

  • Логика высказываний — Для улучшения этой статьи желательно?: Проставив сноски, внести более точные указания на источники. Логика высказываний (или пропозици …   Википедия

  • Логика —    наука, изучающая методы мышления, методы мышления, которые, как и вся наука, являются отражением природы изученной части Вселенной; иные ее части могут подчиняться иным законам, и поэтому действующая там наука и ее часть логика могут быть… …   Мир Лема - словарь и путеводитель

  • логика (средневековья) — Ars vetus , Ars nova , Logica modernorum     Лишь несколько десятилетий назад ученые смогли по достоинству оценить средневековую логику. С одной стороны, она представляет собой дидактическую систематизацию античной логики, с другой стороны, в ней …   Западная философия от истоков до наших дней


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»