Философская энциклопедия

ИСЧИСЛЕНИЕ ПРЕДИКАТОВ

ИСЧИСЛЕНИЕ ПРЕДИКАТОВ
раздел математич. логики, совокупность логико-математич. исчислений, формализующих те разделысовр.логики, в которых отображаются и изучаются(в связи с рассмотрением субъектно-предикатной структуры предложений)правила оперирования с кванторами.
см. Логика предикатов.

Философский энциклопедический словарь.— М.: Советская энциклопедия.Гл. редакция: Л. Ф. Ильичёв, П. Н. Федосеев, С. М. Ковалёв, В. Г. Панов.1983.

ИСЧИСЛЕ́НИЕ ПРЕДИКА́ТОВ
раздел символич. логики, в к-ром изучаются логич. операторы всеобщности и существования в связи с рассмотрением субъектно-предикатной структуры суждений; составляет гл. содержание совр. формальной логики. См. Предикатов исчисление.

Философская Энциклопедия. В 5-х т. — М.: Советская энциклопедия.Под редакцией Ф. В. Константинова.1960—1970.

ИСЧИСЛЕНИЕ ПРЕДИКАТОВ
ИСЧИСЛЕНИЕ ПРЕДИКАТОВ . см. Логика предикатов

Новая философская энциклопедия: В 4 тт. М.: Мысль.Под редакцией В. С. Стёпина.2001.


  1. исчисление предикатов—раздел математической логики совокупность логикоматематических исчислений См. Исчисление формализующих те разделы современной логики в которых отображаются и изучаются в...Большая Советская энциклопедия II
  2. исчисление предикатов—predicate calculus...Большой русско-английский словарь биологических терминов
  3. исчисление предикатов—ИСЧИСЛЕНИЕ ПРЕДИКАТОВ раздел математической логики логическое исчисление в алфавит знаков которого помимо символов исчисления высказываний входят также символы вещей инди...Большой энциклопедический словарь III
  4. исчисление предикатов—ИСЧИСЛЕНИЕ ПРЕДИКАТОВ раздел математической логики логическое исчисление в алфавит знаков которого помимо символов исчисления высказываний входят также символы вещей инд...Большой Энциклопедический словарь V
  5. исчисление предикатов—раздел матем. логики логич. исчисление в алфавит знаков крого помимо символов исчисления высказываний входят также символы вещей индивидов их свойств и отношений а также ...Естествознание. Энциклопедический словарь
  6. исчисление предикатов—предикаттар исабы...Орысша-қазақша «Математика» терминологиялық сөздік
  7. исчисление предикатов—predicate calculus...Русско-английский морской словарь
  8. исчисление предикатов—functional calculus predicate [predicative] calculus...Русско-английский политехнический словарь
  9. исчисление предикатов—predicate calculus...Русско-английский психологический словарь
  10. исчисление предикатов—predicate calculus...Русско-английский словарь по машиностроению
  11. исчисление предикатов—functional calculus predicate calculus...Русско-английский словарь по электронике
  12. исчисление предикатов—predicate calculus...Русско-английский технический словарь
  13. исчисление предикатов—предикаттарды есептеу...Русско-казахский терминологический словарь «Философия и политология»
  14. исчисление предикатов—Prdikatenkalkl...Русско-немецкий политехнический словарь
  15. исчисление предикатов—prediktov kalkulus...Русско-чешский словарь
  16. исчисление предикатов—раздел математич. логики совокупность логикоматематич. исчислений формализующих те разделы совр. логики в крых отображаются и изучаются в связи с рассмотрением субъектноп...Советский философский словарь
  17. исчисление предикатов—ИСЧИСЛЕНИЕ ПРЕДИКАТОВ раздел математической логики логическое исчисление в алфавит знаков которого помимо символов исчисления высказываний входят также символы вещей инди...Современный энциклопедический словарь
  18. исчисление предикатов—раздел символич. логики в кром изучаются логич. операторы всеобщности и существования в связи с рассмотрением субъектнопредикатной структуры суждений составляет гл. содер...Философская Энциклопедия (в 5 томах)
  19. исчисление предикатов—расширение исчисления высказываний путем формализации выводов основывающихся на внутренней структуре высказываний. И. п. было построено Фреге и является существенным обог...Философский энциклопедический словарь
  20. исчисление предикатов—ИСЧИСЛЕНИЕ ПРЕДИКАТОВ раздел математической логики логическое исчисление в алфавит знаков которого помимо символов исчисления высказываний входят также символы вещей инд...Энциклопедический словарь естествознания