![](/irbis64r_81/images/db_navy.gif) Віртуальна довідка ![](/irbis64r_81/images/db_navy.gif) Тематичний інтернет-навігатор ![](/irbis64r_81/images/db_navy.gif) Наукова електронна бібліотека ![](/irbis64r_81/images/db_navy.gif) Автореферати дисертацій ![](/irbis64r_81/images/db_navy.gif) Реферативна база даних ![](/irbis64r_81/images/db_navy.gif) Книжкові видання та компакт-диски ![](/irbis64r_81/images/db_navy.gif) Журнали та продовжувані видання
![Mozilla Firefox](../../ico/mf.png) |
Для швидкої роботи та реалізації всіх функціональних можливостей пошукової системи використовуйте браузер "Mozilla Firefox" |
|
|
Формат представлення знайдених документів: | повний | стислий |
Пошуковий запит: (<.>A=СМАЛЬЯН$<.>) |
Загальна кількість знайдених документів : 1
|
| | Тип видання: навчальний посібник | | |
1. |
Смальян, Р. Теория формальных систем [Електронний ресурс] / Р. Смальян. - М. : Наука, 1981. - 207 с.. - (Математическая логика и основания математики)
Повний текст доступний у читальних залах НБУВ
В этой книге в систематической форме и, фактически, начиная с "азов", излагается обширный комплекс математических результатов, касающихся ряда фундаментальных понятий, предназначенных для точного описания и исследования формально-дедуктивного метода в математике и тесно связанного с этим методом понятия алгоритма.
Кл.слова: рекурсивна функція -- креативність
|
|
|