Вид документа : Однотомное издание Шифр издания : 384672 Автор(ы) : Шень А. Заглавие : Программирование. Теоремы и задачи : учеб. пособие Выходные данные : Москва: Изд-во Моск. центра непрерыв. мат. образования, 1995 Колич.характеристики :262, [2] с.: ил. Примечания : Библиогр. - На обл. авт. не указан ISBN, Цена 5-900916-03-0: 12000.00 р. УДК : 004.4(076.1) Предметные рубрики: вычислительная техника-- программирование Ключевые слова (''Своб.индексиров.''): программирование Экземпляры :ОХФ(1) Свободны : ОХФ(1) |
Вид документа : Многотомное издание Шифр издания : 884126 51.081(075)/В31 Автор(ы) : Верещагин, Николай Константинович Заглавие : Лекции по математической логике и теории алгоритмов/ Н. К. Верещагин, А. Шень. - (Современные лекционные курсы. Математическая логика и теория алгоритмов). Ч. 1: Начала теории множеств Выходные данные : Москва: Моск. Центр непрерыв. мат. образования, 1999 Колич.характеристики :126, [2] с Примечания : На обл. авт. не указаны ISBN, Цена 5-900916-36-7: 25.00 р. УДК : 510.22(075) Предметные рубрики: математика-- математика Ключевые слова (''Своб.индексиров.''): множеств теория Экземпляры :ОХФ(1) Свободны : ОХФ(1) Доп. точки доступа: Шень, А. |
Вид документа : Однотомное издание Шифр издания : 897888 51.017/К45 Автор(ы) : Китаев А., Шень А., Вялый М. Заглавие : Классические и квантовые вычисления Выходные данные : Москва: МЦНМО: ЧеРо, 1999 Колич.характеристики :191, [1] с Серия: Новые математические дисциплины Примечания : Библиогр. ISBN, Цена 5-900916-35-9 (в пер.): 65.00 р. ISBN, Цена 985-6595-04-5: Б.ц. УДК : 510.5 Предметные рубрики: математика-- математика Ключевые слова (''Своб.индексиров.''): алгоритмы--квантовые вычисления Экземпляры :ОХФ(1) Свободны : ОХФ(1) Доп. точки доступа: Шень, А. Вялый, М. |
Вид документа : Многотомное издание Шифр издания : 794677 51.017/В31 Автор(ы) : Верещагин, Николай Константинович Заглавие : Лекции по математической логике и теории алгоритмов/ Н. К. Верещагин, А. Шень. - (Современные лекционные курсы. Математическая логика и теория алгоритмов). Ч. 3: Вычислимые функции Выходные данные : Москва: Моск. Центр непрерыв. мат. образования, 1999 Колич.характеристики :173, [3] с Примечания : Авт. и загл. кн. указаны на тит. л. ISBN, Цена 5-900916-39-1: 40.00 р. УДК : 510.57(075) Предметные рубрики: математика-- математическая логика Ключевые слова (''Своб.индексиров.''): вычислимые функции--тьюринга машина--рекурсивные функции Экземпляры :ОХФ(1) Свободны : ОХФ(1) Доп. точки доступа: Шень, А. |
Вид документа : Многотомное издание Шифр издания : 574743 51.013/В31 Автор(ы) : Верещагин, Николай Константинович Заглавие : Лекции по математической логике и теории алгоритмов/ Н. К. Верещагин, А. Шень. - (Современные лекционные курсы. Математическая логика и теория алгоритмов). Ч. 2: Языки и исчисления Выходные данные : Москва: Моск. Центр непрерыв. мат. образования, 2000 Колич.характеристики :286, [2] с Примечания : Авт. и загл. указаны на тит. л. ISBN, Цена 5-900916-66-9: 40.00 р. УДК : 510.6(075) Предметные рубрики: математика-- математическая логика Ключевые слова (''Своб.индексиров.''): математическая логика--логика высказываний--исчисления высказываний--исчисления предикатов--языки первого порядка Экземпляры :ОХФ(1) Свободны : ОХФ(1) Доп. точки доступа: Шень, А. |
Вид документа : Однотомное издание Шифр издания : 914807 Автор(ы) : Шень, Александр Заглавие : Программирование. Теоремы и задачи . -2-е изд., испр. и доп. Выходные данные : Москва: Изд-во МЦНМО, 2004 Колич.характеристики :294, [2] с ISBN (в пер.), Цена 5-94057-144-1: 110.00 р. УДК : 004.4(076.1) Предметные рубрики: вычислительная техника-- программирование Ключевые слова (''Своб.индексиров.''): программирование--комбинаторика--конечные автоматы--сортировка--типы данных--кодирование Экземпляры :ОХФ(1) Свободны : ОХФ(1) |
Вид документа : Однотомное издание Шифр издания : 510.5/В 317 Автор(ы) : Верещагин, Николай Константинович, Успенский, Владимир Андреевич, Шень, Александр Заглавие : Колмогоровская сложность и алгоритмическая случайность Выходные данные : Москва: Издательство МЦНМО, 2013 Колич.характеристики :575, [1] с Примечания : Библиогр.: с. 546-558 (194 назв.). - Предм. указ.: с. 559-567. - Указ. имён: с. 568-570 ISBN (в пер.), Цена 978-5-4439-0212-8: 552.00 р. УДК : 510.5 Предметные рубрики: математика-- математическая логика Ключевые слова (''Своб.индексиров.''): алгоритмическая теория информации--колмогоровская сложность--шенновская энтропия--алгоритмическая случайность--вероятностей теория--вычислительная сложность Экземпляры :ОХФ(1) Свободны : ОХФ(1) Доп. точки доступа: Успенский, Владимир Андреевич Шень, Александр |
Вид документа : Однотомное издание Шифр издания : 22.12я72/А45-219298 Автор(ы) : Звонкин А. К., Ландо С. К., Семенов А. Л., Шень А. Х. Заглавие : Алгоритмика. 5-7 классы : учеб. и задачник для общеобразоват. учреждений . -3-е изд. Выходные данные : Москва: Дрофа, 1998 Колич.характеристики :304 с.: ил. ISBN (в пер.), Цена 5-7107-2275-8: 26.91 р. УДК : 510.51(075.3+076.2) Предметные рубрики: математика-- математика Ключевые слова (''Своб.индексиров.''): алгоритмы--алгоритмика--алгоритмическое мышление Аннотация: Основная цель учебника - научить школьников алгоритмическому мышлению: умению предусматривать и анализировать обстоятельства, планировать свои действия. Экземпляры : всего : ОУООПН-ЧЗ 13(2) Свободны : ОУООПН-ЧЗ 13(2) Доп. точки доступа: Звонкин, А. К. Ландо, С. К. Семенов, А. Л. Шень, А. Х. |