Главная    Ex Libris    Книги    Журналы    Статьи    Серии    Каталог    Wanted    Загрузка    ХудЛит    Справка    Поиск по индексам    Поиск    Форум   
Мехматянам
square Первый курс

square Второй курс

square Третий курс

square Четвертый курс

square Пятый курс
blank
Авторизация

       
blank
Поиск по указателям

blank
Красота
blank
blank
Результат поиска

Поиск книг, содержащих: Алфавит



КнигаСтраницы для поиска
Верещагин Н.К., Шень А. — Языки и исчисления233
Верещагин Н.К., Шень А. — Вычислимые функции113, 118, 126
Мендельсон Э. — Введение в математическую логику229
Скляр Б. — Цифровая связь. Теоретические основы и практическое применение32, 87
Новиков Ф.А. — Дискретная математика для программистов161
Яблонский С.В. — Введение в дискретную математику256
Камерон П., ван Линт Д. — Теория графов. Теория кодирования и блок-схемы47
Кормен Т., Лейзерсон Ч., Ривест Р. — Алгоритмы: построение и анализ1097
Кормен Т., Лейзерсон Ч., Ривест Р. — Алгоритмы: построение и анализ102, 780, 841
Саломаа А. — Криптография с открытым ключом12
Бабенко К.И. — Основы численного анализа27
Клини С. — Математическая логика247
Биркгоф Г., Барти Т. — Современная прикладная алгебра129
Воройский Ф.С. — Информатика. Новый систематизированный толковый словарь160
Манин Ю.И. — Доказуемое и недоказуемое8
Эдельман С.Л. — Математическая логика128
Айзерман М.А., Гусев Л.А., Розоноэр Л.И.и др. — Логика. Автоматы. Алгоритмы15, 435
Коснёвски Ч. — Начальный курс алгебраической топологии203
Мальцев А.И. — Алгоритмы и рекурсивные функции17
Яглом А.М., Яглом И.М. — Вероятность и информация.186, 196
Бакельман И.Я., Вернер А.Л., Кантор Б.Е. — Введение в дифференциальную геометрию "в целом"100
Коблиц Н. — Курс теории чисел и криптографии92
Стенли Р. — Перечислительная комбинаторика326
Кук Д., Бейз Г. — Компьютерная математика138, 257
Кларк Дж. — Иллюстрированная хроника открытий и изобретений
Ахо А.В., Сети Р., Ульман Д.Д. — Компиляторы: принципы, технологии и инструменты105
Брауэр В. — Введение в теорию конечных автоматов28
Барвайс Д. — Справочная книга по математической логике. Часть 3: теория рекурсии55
Кушнер Б.А. — Лекции по конструктивному математическому анализу47
Успенский В.А., Верещагин Н.К., Плиско В.Е. — Вводный курс математической логики10
Артамонов В.А., Салий В.Н., Скорняков Л.А. — Общая алгебра (том 2)26
Мальцев А.И. — Алгебраические системы138
Никольская И.Л. — Математическая логика19, 22, 106
Лаллеман Ж. — Полугруппы и комбинаторные приложения22, 126
Глушков В.М., Цейтлин Г.Е., Ющенко Е.Л. — Алгебра. Языки. Программирование172
Эббинхауз Г.-Д., Якобс К., Ман Ф.-К. — Машины Тьюринга и рекурсивные функции4, 55, 68, 74, 82, 87, 90, 95, 108, 124, 140, 163
Вагин В.Н., Головина Е.Ю., Загорянская А.А. — Достоверный и правдоподобный вывод в интеллектуальных системах323, 324, 390
Кобринский Н.Е., Трахтенброт Б.А. — Введение в теорию конечных автоматов85
Кон П. — Универсальная алгебра132
Гудрич М.Т., Тамассия Р. — Структуры данных и алгоритмы в Java20, 534
Белоусов А.И., Ткачев С.Б. — Дискретная математика462
Гладкий А.В. — Формальные грамматики и языки19, 27; см. «Словарь»
Пестриков В.М., Маслобоев А.Н. — Delphi на примерах36
Карри Х.Б. — Основания математической логики58
Шиханович Ю.А. — Введение в современную математику. Начальные понятия37
Гэри М., Джонсон Д. — Вычислительные машины и труднорешаемые задачи18, 33
Марков А.А., Нагорный Н.М. — Теория алгорифмов25, 31
Мелихов А.Н. — Ориентированные графы и конечные автоматы155
Ярцева В.Н. (ред.) — Большой Энциклопедический Словарь. Языкознание29
Гордон Е.И., Кусраев А.Г., Кутателадзе С.С. — Инфинитезимальный анализ48
Кузнецов О.П., Адельсон-Вельский Г.М. — Дискретная математика для инженера17, 148
Шень А. — Программирование: теоремы и задачи176
Хант Э. — Искусственный интеллект37
Кацура А. (ред.) — Всемирная история в датах и событияхок. 1100 до н. э. п; III в. п; ок. 405 п; 863 п
Кузнецов О.П., Адельсон-Вельский Г.М. — Дискретная математика для инженера16, 136
Гладкий А.В. — Математическая логика155
Девятков В.В. — Системы искусственного интеллекта24
Хантер Р. — Проектирование и конструирование компиляторов23, 24, 42, 131
Виноградов И.М. — Математическая энциклопедия. Предметный указательI-111, 235; II-1043; IV-1082
Сакс Дж.Е. — Теория насыщенных моделей16
Лавров И.А., Максимова Л.Л. — Задачи по теории множеств, математической логике и теории алгоритмов46
Биллингслей П. — Эргодическая теория и информация164
Панов Е.Н. — Знаки, символы, языки232
Яблонский С.В. (ред.), Лупанов О.Б. (ред.) — Дискретная математика и математические вопросы кибернетики (том 1)209
Ватолин Д., Ратушняк А., Смирнов М. — Методы сжатия данных8, 33
Питерсон Дж. — Теория сетей Петри и моделирование систем150
Вопенка П. — Альтернативная теория множеств. Новый взгляд на бесконечность214
Пинкер С. — Язык как инстинкт61, 152, 169, 178—180, 223, 239, 444, 447
Левина И.С. (ред) — Алгоритмический язык АЛГОЛ-60. Пересмотренное сообщениетекст 2.1
Кушниренко А.Г., Лебедев Г.В. — Программирование для математиков114, 150
Борковский А.Б. — Англо-русский словарь по программированию и информатике17, 50
Каргаполов М.И., Мерзляков Ю.И. — Основы теории групп117
Холл П. — Вычислительные структуры. Введение в нечисленное программирование16—17, 80—82
Майоров С.А., Крутовских С.А. — Электронные вычислительные машины (справочник по конструированию)12
Касьянов В.Н. — Оптимизирующие преобразования программ12
Уилсон А., Уилсон М. — Управление и творчество при проектировании систем65
Успенский В.А. — Лекции о вычислимых функциях19
Пильщиков В.Н. — Язык плэнер9
Москинова И.Г. — Дискретная математика. Математика для менеджера в примерах и упражнениях31
Котельников И.А., Чеботаев П.З. — LaTeX по-русски56, 93, 105
Пярнпуу А.А. — Программирование на современных алгоритмических языках136, 224
Фаронов В.В. — Программирование на персональных ЭВМ и среде ТУРБО-ПАСКАЛЬ72
Фано Р. — Передача информации. Статическая теория связи61
Фомичев В.М. — Дискретная математика и криптология105, 229
Аверкин В.П., Бобровский А.И., Веснич В.В. — Программирование на С++15
Шрейдер Ю.А. — Равенство, сходство, порядок199
Орлов В.А., Филиппов Л.И. — Теория информации в упражнениях и задачах7, 24
Голдман С. — Теория информации32, 33, 40, 354, 380—382
Гаек П., Гавранек Т. — Автоматическое образование гипотез25
Жалдак М. И., Квитко А. Н. — Теория вероятностей с элементами информатики.155
Лернер А.Я. — Начала кибернетики81, 171, 172, 173
Яблонский С.В. — Введение в дискретную математику256
Джемисон Дж.Э., Мак-Фи Р.Х., Пласс Дж.Н. — Физика и техника инфракрасного излучения539
Кохонен Т. — Ассоциативные запоминающие устройства59
Фултон У. — Таблицы Юнга и их приложения к теории представлений и геометрии17
Романовский И.В. — Дискретный анализ88
Власов В.К., Королев Л.Н., Сотников А.Н. — Элементы информатики171
Марков А.С., Лисовский К.Ю. — Базы данных. Введение в теорию и методологию93, 437
Богатырев А.Б. — Экстремальные многочлены и римановы поверхности57
Федоренко Н.П. (ред.), Канторович Л.В. (ред.), Данилов-Данильян В.И. (ред.) — Математика и кибернетика в экономике. Словарь-справочник27
Фридман Ф., Коффман Э. — Решение задач и структурное программирование на ФОРТРАНе13
Попа К. — Теория определения92
Налимов В.В. — Вероятностная модель языка45—47, 155
Любимский Э.З., Мартынюк В.В., Трифонов Н.П. — Программирование15, 44, 49, 406, 449
Кубенский А.А. — Структуры и алгоритмы обработки данных: объектно-ориентированный подход и реализация на С++439
Вернер М. — Основы кодирования12
Хлытчиев С.М., Ворожцов А.С., Захаров И.А. — Основы автоматики и автоматизации производственных процессов96
Ахо А.В., Лам М.С., Сети Р., Ульман Д.Д. — Компиляторы. Принципы, технологии и инструментарий.165
Абрамов А.Т., Артемов В.Б., Богданов В.П. — Автоматизированное конструирование монтажных плат РЭА52
Воройский Ф.С. — Информатика. Энциклопедический словарь-справочник: введение в современные информационные и телекоммуникационные технологии в терминах и фактах118
Леонов В.П. — Современные проблемы информатики. Введение в семиотику информационных технологий41, 70, 128
Малютин Э.А., Малютина Л.В. — ПЛ/1 для начинающих34
Судоплатов С.В., Овчинникова Е.В. — Элементы дискретной математики39
Бауэр Ф.Л., Гооз Г., Сабельфельд В.К. (пер.) — Информатика. Вводный курс31
Бочаров В.А., Маркин В.И. — Основы логики39
Дружинин В.В. (ред.) — Справочник по основам радиолокационной техники634
Гладкий А.В. — Синтаксические структуры естественного языка в автоматизированных системах общения12
Фридланд А.Я., Ханамирова Л.С., Фридланд И.А. — Информатика и компьютерные технологии. Основные термины. Толковый словарь15
Верещагин Н.К., Шень А. — Лекции по математическо логике и теории алгоритмов. Часть 2. Языки и исчисления229
Клини С.К. — Математическая логика247
Яглом А.М., Яглом И.М. — Вероятность и информация186, 196
Мельников Ю.Б. — Элементы дискретной математики: Конспект лекций154
Хопкрофт Д., Мотвани Р., Ульман Д. — Введение в теорию автоматов, языков и вычислений46
Яглом А.М., Яглом И.М. — Вероятность и информация186, 196
Мендельсон Э. — Введение в математическую логику229
Степанов А.Н. — Архитектура вычислительных систем и компьютерных сетей20
Дружинин В.В. (ред.) — Справочник по основам радиолокационной техники634
Ершов А.П. — Введение в теоретическое программирование. Беседы о методе60
blank
HR
@Mail.ru
© Электронная библиотека попечительского совета мехмата МГУ, 2004-2020
Электронная библиотека мехмата МГУ | Valid HTML 4.01!| Valid CSS! О проекте