 |
| |||
| метод семантических таблиц (формальная разрешающая процедура для формул логики высказываний и логики предикатов, позволяющая синтаксическими средствами решать семантические проблемы формализованных исчислений Alex_Odeychuk); семантическая таблица (Alex_Odeychuk) | |||
|
semantic tableaux : 1 צירופים, 1 נושאים |
| מָתֵימָטִיקָה | 1 |