 |
| |||
| исчисление предикатов : | |||
| исчисление предикатов | |||
|
predicate calculus : 35 фраз в 7 тематиках |
| Автоматика | 1 |
| Компьютеры | 1 |
| Логика | 2 |
| Математика | 23 |
| Механика | 1 |
| Программирование | 5 |
| Техника | 2 |
|
| |||
| исчисление предикатов : | |||
| исчисление предикатов | |||
|
predicate calculus : 35 фраз в 7 тематиках |
| Автоматика | 1 |
| Компьютеры | 1 |
| Логика | 2 |
| Математика | 23 |
| Механика | 1 |
| Программирование | 5 |
| Техника | 2 |