Главная Упрощенный режим Описание Шлюз Z39.50
Авторизация
Фамилия
Пароль
 

Базы данных


БД "Книги" - результаты поиска

Вид поиска
БД "Книги"
БД "Статьи"
Труды АМГУ
Выпускные квалификационные работы
Антитеррор
Область поиска
 Найдено в других БД:БД "Статьи" (3)
Формат представления найденных документов:
полныйинформационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>K=рекурсивные функции<.>)
Общее количество найденных документов : 4
Показаны документы с 1 по 4
1.
22.12
М21

    Мальцев А.И.
    Алгоритмы и рекурсивные функции [Текст] / А.И. Мальцев . - 2-е изд. - М. : Наука, 1986. - 368 с. - 1.70 р.
ББК 22.12
Рубрики: Математическая логика
Кл.слова (ненормированные):
математическая логика -- теория алгоритмов -- рекурсивные функции

Экземпляры всего: 1
н.з. (1), ч.з.
Свободны: н.з. (1)
Найти похожие
2.
   22.12
   И26

    Игошин, Владимир Иванович.
    Математическая логика и теория алгоритмов [Текст] : учеб. пособие: рек. Мин. обр. РФ / В. И. Игошин. - М. : Академия, 2004. - 448 с. - (Высшее проф. образование : педагогические специальности). - Библиогр.: с. 435. - ISBN 5-7695-1363-2 (в пер.) : 253.00 р., 2500002201361 р.
ББК 22.12я73
Рубрики: Математическая логика--теория алгоритмов
Кл.слова (ненормированные):
математическая логика -- логика и интуиция -- алгебра высказываний -- логическое следствие, понятие, следствия -- булевы функции -- система аксиом -- логика предикатов -- логические операции -- рекурсивные функции -- теорема Гёделя -- язык ПРОЛОГ, характеристика -- искусственный интеллект, математическая логика

Экземпляры всего: 7
аб. (7), ч.з.
Свободны: аб. (7)
Найти похожие
3.
   У
   А45

   
    Алгоритмические языки и программирование [Электронный ресурс] : учеб.-метод. комплекс для спец. 230201 - "Информационные системы и технологии" / АмГУ, ФМиИ ; сост. Т. А. Галаган, Л. А. Соловцова. - Благовещенск : Изд-во Амур. гос. ун-та, 2007. - 107 с. - Б. ц.
ББК 32.973-018.1я73
Рубрики: Языки программирования
Кл.слова (ненормированные):
язык С++, введение -- алгоритмический язык -- функции -- рекурсивные функции -- форматный ввод-вывод -- обработка строк в С++ -- файлы

Перейти: http://irbis.amursu.ru/DigitalLibrary/AmurSU_Edition/936.pdf

Доп.точки доступа:
Галаган, Татьяна Алексеевна \сост.\; Соловцова, Любовь Александровна \сост.\; Амурский государственный университет. Факультет математики и информатики
Экземпляры всего: 1
эл. б-ка АмГУ (1)
Свободны: эл. б-ка АмГУ (1)
Найти похожие
4.
   22.12
   К49

    Клини, Стивн Коул.
    Введение в метаматематику [Текст] : к изучению дисциплины / С. К. Клини ; пер. с англ. А. С. Есенина-Вольпина ; под ред. В. А. Успенского. - М. : Либроком, 2009. - 523 с. - (Физико-математическое наследие: математика (основания математики и логика)). - Библиогр. : с. 485 . - Предм. указ. : с. 511 . - ISBN 978-5-397-00105-2 (в пер.) : 632.88 р.
ББК 22.12
Рубрики: Математика
   Математическая логика
Кл.слова (ненормированные):
основания математики -- математическая логика -- рекурсивные функции -- исчисление высказываний -- исчисление предикатов -- формальная арифметика -- арифметизация метаматематики
Аннотация: Настоящая книга, написанная выдающимся американским математиком Стивеном Клини, является одной из самых обширных из имеющихся монографий по математической логике и теории рекурсивных функций. Этот фундаментальный труд по праву стал настольной книгой для всех, кто занимается математической логикой, рекурсивными функциями и основаниями математики. Цель автора --- дать читателю связное введение в область данных научных дисциплин, а также в исследования по основаниям математики вообще. Первая часть книги содержит необходимый подготовительный материал; далее проведено метаматематическое исследование элементарной арифметики с необходимым материалом из математической логики. В восьмой главе второй части изложены знаменитые теоремы Гёделя о неполноте. Третья часть, содержащая в числе прочего изложение теории обще-рекурсивных и частично-рекурсивных функций, может служить руководством для изучения теории рекурсивных функций.


Доп.точки доступа:
Есенина-Вольпина, А.С. \пер.\; Успенский, В.А. \ред.\
Экземпляры всего: 1
аб. (1)
Свободны: аб. (1)
Найти похожие
 
Стандартный
Расширенный
Профессиональный
Распределенный
По словарю
ГРНТИ-навигатор
УДК-навигатор
ББК-навигатор
Тематический навигатор
Статистика
за 03.07.2024
Число запросов 47958
Число посетителей 1
Число заказов 0
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)