Библиотека АГГПУ

Главная

Упрощенный режим

Описание

Базы данных

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

Вид поиска

Каталог книг

Труды преподавателей

Каталог периодических изданий

Межвузовская электронная библиотека

ФЭРУ

Область поиска

Найдено в других БД:

Каталог статей (3)

IPRbooks книги (1)

Формат представления найденных документов:
полный	информационный	краткий

Отсортировать найденные документы по:
автору	заглавию	году издания	типу документа

Поисковый запрос: <.>K=рекурсивные функции<.>

Общее количество найденных документов : 5
Показаны документы с 1 по 5

   22.1
   И 26

    Игошин, Владимир Иванович.
    Задачи и упражнения по математической логике и теории алгоритмов : учебное пособие для вузов по специальности "Математика" / В. И. Игошин. - 3-е изд., стер. - М. : Академия, 2007. - 304 с. - (Высшее профессиональное образование. Педагогические специальности). - 2 000 экз.. - ISBN 5-7695-3728-0
Рекомендовано отраслевым мин-вом

27.03

   22.1
   И 26

    Игошин, Владимир Иванович.
    Математическая логика и теория алгоритмов : учебное пособие для вузов / В. И. Игошин. - 2-е изд., стер. - М. : Академия, 2008. - 448 с. - (Высшее профессиональное образование. Педагогические специальности). - 1 500 экз.. - ISBN 978-5-76954593-1
Рекомендовано Мин. образования

27.03

ББК 22.12 я73
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ--ФИЗИКО-МАТЕМАТИЧЕСКИЕ НАУКИ--МАТЕМАТИКА--ОСНОВАНИЯ МАТЕМАТИКИ. МАТЕМАТИЧЕСКАЯ ЛОГИКА
Кл.слова (ненормированные):
математическая логика -- теория алгоритмов -- прикладная математика -- алгебра высказываний -- высказывания -- формулы алгебраических высказываний -- тавтологии алгебраических высказываний -- логическая равносильность формул -- нормальные формы для формул алгебры высказываний -- логическое следование формул -- логико-математическая практика -- булевы функции -- релейно-контактные схемы в эвм -- формализованное исчисление высказываний -- логика предикатов -- предикат -- логические операции над предикатами -- квантовые операции над предикатами -- формулы логики предикатов -- формализованное исчисление предикатов -- неформальные аксиоматические теории -- аксиоматический метод в математике -- аксиоматические теории -- формальные аксиоматические теории -- элементы теории алгоритмов -- интуитивное представление об алгоритмах -- машины тьюринга -- рекурсивные функции -- нормальные алгоритмы маркова -- разрешимость множеств -- перечислимость множеств -- неразрешимые алгоритмические проблемы -- теорема геделя -- математическая логика и программное обеспечение компьютеров -- программное обеспечение -- компьютер -- логическое программирование -- математическая логика и информатика -- математическая логика и искусственный интеллект -- искусственный интеллект -- законы мышления -- познание законов мышления

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

   22.1
   М 34

    Матрос, Дмитрий Шаевич.
    Теория алгоритмов : учебник для вузов по специальности 050202.65 (030100) "Информатика" / Д. Ш. Матрос, Г. Б. Поднебесова. - М. : БИНОМ. Лаборатория знаний, 2008. - 202 с. : ил. - (Педагогическое образование). - Библиогр.: с. 196 - 197. - 2 000 экз.. - ISBN 978-5-94774-226-8
Рекомендовано УМО

27.03

ББК 22.12 я73
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ--ФИЗИКО-МАТЕМАТИЧЕСКИЕ НАУКИ--МАТЕМАТИКА--ОСНОВАНИЯ МАТЕМАТИКИ. МАТЕМАТИЧЕСКАЯ ЛОГИКА
Кл.слова (ненормированные):
теория алгоритмов -- машина тьюринга -- рекурсивные функции -- нормальные алгоритмы маркова -- машина с неограниченными регистрами -- вычислимость -- разрешимость -- сложность вычисления -- теория NP-полных задач

Доп.точки доступа:
Поднебесова, Галина Борисовна
Экземпляры всего: 25
Аб. (24), Ч.з.№1 (1)
Свободны: Аб. (24), Ч.з.№1 (1)
Найти похожие

   22.1
   И 26

    Игошин, Владимир Иванович.
    Математическая логика и теория алгоритмов : учебное пособие для физико-математических специальностей пед. институтов / В. И. Игошин. - Саратов : Саратовский гос. педагогический институт им. К. А. Федина, 2001. - 256 с. - 5 000 экз.. - ISBN 5-292-00259-3

27.03

ББК 22.12 я73
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ--ФИЗИКО-МАТЕМАТИЧЕСКИЕ НАУКИ--МАТЕМАТИКА--ОСНОВАНИЯ МАТЕМАТИКИ. МАТЕМАТИЧЕСКАЯ ЛОГИКА
Кл.слова (ненормированные):
математическая логика -- теория алгоритмов -- прикладная математика -- алгебра высказываний -- высказывания -- формулы алгебраических высказываний -- тавтологии алгебраических высказываний -- логическая равносильность формул -- нормальные формы для формул алгебры высказываний -- логическое следование формул -- логико-математическая практика -- булевы функции -- релейно-контактные схемы в эвм -- формализованное исчисление высказываний -- логика предикатов -- предикат -- логические операции над предикатами -- квантовые операции над предикатами -- формулы логики предикатов -- формализованное исчисление предикатов -- неформальные аксиоматические теории -- аксиоматический метод в математике -- аксиоматические теории -- формальные аксиоматические теории -- элементы теории алгоритмов -- интуитивное представление об алгоритмах -- машины тьюринга -- рекурсивные функции -- нормальные алгоритмы маркова -- разрешимость множеств -- перечислимость множеств -- неразрешимые алгоритмические проблемы -- теорема геделя -- математическая логика и программное обеспечение компьютеров -- программное обеспечение -- компьютер -- логическое программирование -- математическая логика и информатика -- математическая логика и искусственный интеллект -- искусственный интеллект -- законы мышления -- познание законов мышления

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

   22.1
   М 21

    Мальцев, Анатолий Иванович.
    Алгоритмы и рекурсивные функции / А. И. Мальцев. - 2-е изд. - М. : Наука, 1986. - 367 с. - Библиогр.: с. 348 - 354 . - Предм. указ.: с. 365 - 367. - 10 400 экз.
Прил. Диофантовость рекурсивно перечислимых множеств и предикатов (9 с.)

27.03

ББК 22.12
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ--ФИЗИКО-МАТЕМАТИЧЕСКИЕ НАУКИ--МАТЕМАТИКА--ОСНОВАНИЯ МАТЕМАТИКИ. МАТЕМАТИЧЕСКАЯ ЛОГИКА
Кл.слова (ненормированные):
математическая логика -- рекурсивные функции -- алгоритм Тьюринга

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

Тематический навигатор

© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)