| |||
семантическая таблица (Alex_Odeychuk); метод семантических таблиц (формальная разрешающая процедура для формул логики высказываний и логики предикатов, позволяющая синтаксическими средствами решать семантические проблемы формализованных исчислений Alex_Odeychuk) |
semantic tableaux: 1 do fraz, 1 tematyki |
Matematyka | 1 |