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

Базы данных


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

Вид поиска
БД Института химии
БД юридического ф-та
БД мех-мат. ф-та
ЭК кафедры геологии и геохимии горючих ископаемых
ЭК экономического ф-та
ЭК географического ф-та
ЭК кафедры геофизики
ЭК Институт истории и международных отношений
ЭК кафедры метеорологии и климатологии
ЭК каф. физики полупроводников
ЭК фак-та нелинейных процессов
БД кафедры информатики и программирования
ЭК кафедры материаловедения, технологии и управления качеством
ЭБС IBOOKS
ЭБС ИНФРА-М
ЭК базовой кафедры компьютерной физики и метаматериалов
ЭК социологического факультета
ЭК философского факультета
ЭК кафедры начального языкового и литературного образования
ЭК каф. русского языка и речевой коммуникации
ЭК кафедры английского языка для гуманитарных направлений и специальностей
ЭК каф. общего литературоведения
ЭК каф. теории, истории языка и прикладной лингвистики
ЭК каф. английского языка и межкультурной коммуникации
ЭК кафедры романо-германской филологии и переводоведения
ЭК каф. немецкого языка
ЭК кафедры русской и зарубежной литературы
ЭК каф. медиаобразования
Область поиска
 Найдено в других БД:ЭК географического ф-та (1)ЭК Институт истории и международных отношений (3)ЭБС ИНФРА-М (3)
Формат представления найденных документов:
полныйинформационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>K=МАШИНА$<.>)
Общее количество найденных документов : 2
Показаны документы с 1 по 2
1.

    Гамова, Алла Николаевна.
    Математическая логика и теория алгоритмов [Текст] : учеб. пособ. для студентов и аспирантов мат. фак. ун-та / Алла Николаевна Гамова. - Саратов : Изд-во Сарат. ун-та, 1999. - 76 с. : ил. - Библиогр. - ISBN 5-292-02362-0 : 15.00 р.
УДК
[510.5+510.63](075.8)
Рубрики: математика -- математическая логика --
Кл.слова (ненормированные):
математическая логика -- алгоритмов теория -- Тьюринга машина -- исчисления предикатов -- исчисления высказываний
0
Свободных экз. нет
Найти похожие
2.

    Гамова, Алла Николаевна.
    Математическая логика и теория алгоритмов [Текст] : учеб. пособ. для студентов мех.-мат. фак. и фак. компьютер. наук и информ. технологий / Алла Николаевна Гамова. - 2-е изд., доп. - Саратов : Изд-во Сарат. ун-та, 2000. - 78, [2] с. - Библиогр. - ISBN 5-292-02515-1 : 25.00 р.
УДК
[510.5+510.63](075.8)
Рубрики: математика -- математическая логика --
Кл.слова (ненормированные):
математическая логика -- алгоритмов теория -- Тьюринга машина -- исчисления предикатов -- исчисления высказываний -- вычислительная сложность
0
Свободных экз. нет
Найти похожие
 
Стандартный (по одному полю)
По словарю (по одному полю)
Профессиональный (по нескольким полям со словарями)
Распределенный (в электронных каталогах ИРБИС-Корпорации)
Расширенный
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)