Русско-английский словарь по машиностроению

ИСЧИСЛЕНИЕ ВЫСКАЗЫВАНИЙ

propositional calculus

  1. исчисление высказываний—исчисление суждений раздел математической логики См. Математическая логика в котором формальноаксиоматическим методом изучаются сложные составные высказывания составленны...Большая Советская энциклопедия II
  2. исчисление высказываний—ИСЧИСЛЕНИЕ ВЫСКАЗЫВАНИЙ раздел математической логики аксиоматическое построение логики высказываний....Большой энциклопедический словарь III
  3. исчисление высказываний—ИСЧИСЛЕНИЕ ВЫСКАЗЫВАНИЙ раздел математической логики аксиоматическое построение логики высказываний....Большой Энциклопедический словарь V
  4. исчисление высказываний—пкрлер исабы...Орысша-қазақша «Математика» терминологиялық сөздік
  5. исчисление высказываний—propositional calculus...Русско-английский морской словарь
  6. исчисление высказываний—propositional calculus sentential calculus...Русско-английский политехнический словарь
  7. исчисление высказываний—sentential calculus...Русско-английский словарь по нефти и газу
  8. исчисление высказываний—propositional calculus sentential calculus...Русско-английский словарь по электронике
  9. исчисление высказываний—ampLTmath.ampGT propositional calculus sentential calculus...Русско-английский технический словарь
  10. исчисление высказываний—айтылымдарды санау...Русско-казахский терминологический словарь «Философия и политология»
  11. исчисление высказываний—Aussagenkalkl...Русско-немецкий политехнический словарь
  12. исчисление высказываний—числення висловлювань числення висловлень...Русско-украинский политехнический словарь
  13. исчисление высказываний—vrokov kalkulus...Русско-чешский словарь
  14. исчисление высказываний—исчисление предложений формализованная система в крой задатся способ доказательства некрых высказываний формул наз. теоремами. И. в. может быть формализовано различными с...Советский философский словарь
  15. исчисление высказываний—ИСЧИСЛЕНИЕ ВЫСКАЗЫВАНИЙ раздел математической логики аксиоматическое построение логики высказываний....Современный энциклопедический словарь
  16. исчисление высказываний—ИСЧИСЛЕНИЕ ВЫСКАЗЫВАНИЙ исчисление предложений формализованная система в крой задатся способ доказательства некоторых высказываний формулem наз.em теоремами. И. в.em може...Философская энциклопедия
  17. исчисление высказываний—раздел символич. логики в кром изучаются логич. связи между высказываниями рассматриваемыми в отвлечении от их субъектнопредикатного строения необходимая часть исчисления...Философская Энциклопедия (в 5 томах)
  18. исчисление высказываний—ИСЧИСЛЕНИЕ ВЫСКАЗЫВАНИЙ раздел математической логики аксиоматическое построение логики высказываний....Энциклопедический словарь естествознания