- Нові надходження
- Простий пошук
- Розширений пошук
- Допомога
- Автори
- Видавництва
- Серії
- Тезаурус (Рубрики)
- Публічні полиці
Рубрика: різноманітні системи доведень
Показані записи 4 з 4
| Рубрики вищого рівня | Назва рубрики | См. також | Підрубрики | Документи | |
|---|---|---|---|---|---|
| в рубрике | с урахуванням підрубрик | ||||
| МАТЕМАТИКА. ПРИРОДНИЧІ НАУКИ => Математика => фундаментальні та загальні питання математики => теорія доведень => різноманітні системи доведень |
метод таблиць | ||||
| МАТЕМАТИКА. ПРИРОДНИЧІ НАУКИ => Математика => фундаментальні та загальні питання математики => теорія доведень => різноманітні системи доведень |
природні системи дедукції, нормалізація | ||||
| МАТЕМАТИКА. ПРИРОДНИЧІ НАУКИ => Математика => фундаментальні та загальні питання математики => теорія доведень => різноманітні системи доведень |
числення гільбертового типу | ||||
| МАТЕМАТИКА. ПРИРОДНИЧІ НАУКИ => Математика => фундаментальні та загальні питання математики => теорія доведень => різноманітні системи доведень |
числення секвенцій, елімінація розрізів | ||||