В современной логике наиболее употребительными являются язык логики высказываний (ЯЛВ) и языки логики предикатов: прежде всего язык логики предикатов первого порядка (ЯЛП1) и язык логики предикатов первого порядка с равенством (ЯЛП1=).
Языки логики высказываний и логики предикатов
2015-04-01
287Поделись с друзьями:
|
|
Сейчас читают про:
8524
8408