经典命题演算, 经典语句演算
_
классическое исчисление высказываний
пословный:
| 经典 | 典命 | 命题演算 | , |
1) канонические книги, священный свод, священный кодекс
2) классическое произведение литературы; классический
|
| 经典 | 语句 | 演算 | |
1) канонические книги, священный свод, священный кодекс
2) классическое произведение литературы; классический
|
1) выражение, фраза, оборот речи
2) прогр. оператор
|
мат. исчисление, вычисление, действие; упражняться в решении; математические упражнения
|