Алгебраические и алгоритмические свойства логических исчислений ч 1
Monography
| Language |
Русский |
| Type |
Monography |
| Circulation |
500 |
| Tags |
логика. Логические исчисления, алгоритмы. |
| Authors |
Гончаров С.С.
1
,
Дроботун Б.Н.
2
,
Никитин А.А.
1
|
В работе излагаются научно-методические подходы к изложению теории логических исчислений.