| начало | написать нам | в избранное | сделать стартовой |

Базы данных


БД мех-мат. ф-та - результаты поиска

Вид поиска

Область поиска
Формат представления найденных документов:
полный информационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>K=Тьюринга машина<.>)
Общее количество найденных документов : 2
Показаны документы с 1 по 2
1.
Вид документа : Однотомное издание
Шифр издания : 51.013+51.017+017/Г18-852653
51.013+51.017+017.7:51/Г18
Автор(ы) : Гамова, Алла Николаевна
Заглавие : Математическая логика и теория алгоритмов : Учеб. пособ. для студентов и аспирантов мат. фак. ун-та
Выходные данные : Саратов: Изд-во Сарат. ун-та, 1999
Колич.характеристики :76 с.: ил.
Примечания : Библиогр.
ISBN, Цена 5-292-02362-0: 15.00 р.
УДК : [510.5+510.63](075.8)
Предметные рубрики: математика-- математическая логика
Ключевые слова (''Своб.индексиров.''): математическая логика--алгоритмов теория--тьюринга машина--исчисления предикатов--исчисления высказываний
Экземпляры :(4)
Свободны : (4)
Найти похожие
2.
Вид документа : Однотомное издание
Шифр издания : 51.013+51.017+017/Г18-916387
51.013+51.017+017.7:51/Г18
Автор(ы) : Гамова, Алла Николаевна
Заглавие : Математическая логика и теория алгоритмов : Учеб. пособ. для студентов мех.-мат. фак. и фак. компьютер. наук и информ. технологий . -2-е изд., доп.
Выходные данные : Саратов: Изд-во Сарат. ун-та, 2000
Колич.характеристики :78, [2] с
Примечания : Библиогр.
ISBN, Цена 5-292-02515-1: 25.00 р.
УДК : [510.5+510.63](075.8)
Предметные рубрики: математика-- математическая логика
Ключевые слова (''Своб.индексиров.''): математическая логика--алгоритмов теория--тьюринга машина--исчисления предикатов--исчисления высказываний--вычислительная сложность
Экземпляры :(5)
Свободны : (5)
Найти похожие
 
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)