В современной логике наиболее употребительными являются язык логики высказываний (ЯЛВ) и языки логики предикатов: прежде всего язык логики предикатов первого порядка (ЯЛП1) и язык логики предикатов первого порядка с равенством (ЯЛП1=).
Языки логики высказываний и логики предикатов
2015-04-01
271Поделись с друзьями:
Понравилась статья? Добавь ее в закладку (CTRL+D) и не забудь поделиться с друзьями:
|
|
Сейчас читают про:
6390
6271