Новые поступления (книга в стадии обработки) Алгоритмика, 5-7 классы [Текст] : учеб. и задачник для общеобразоват. учеб. заведений / А. К. Звонкин, С. К. Ландо, А. Л. Семенов. - Москва : Издат. дом "Дрофа", 1996. - 299 с. - ISBN 5-7107-0801-1 (в пер.) : 17250.00 р.
Рубрики: математика--математика Кл.слова (ненормированные): алгоритмика -- алгоритмы -- алгоритмическое мышление Держатели документа: Зональная научная библиотека имени В. А. Артисевич ФГБОУ ВО СГУ имени Н. Г. Чернышевского Доп. точки доступа: Звонкин, А. К. Ландо, С. К. Семенов, А. Л. Семёнов, А. Л. |
Новые поступления (книга в стадии обработки) Князева, Марина Даниловна. Алгоритмика: от алгоритма к программе [Текст] : учеб. пособие / М. Д. Князева. - Москва : КУДИЦ-ОБРАЗ, 2006. - 191, [1] с. : рис. + 1 эл. опт. диск (CD-ROM) (в медиазале). - (Информатика). - Библиогр.: с. 186-187 (19 назв.). - ISBN 5-9579-0109-1 : 99.00 р. Рекомендовано Учеб.-метод. Советом Гос. Акад. Инноваций в качестве учеб. пособия для студентов сред. и высш. проф. образования
Рубрики: вычислительная техника--пакеты прикладных программ Кл.слова (ненормированные): алгоритмизация -- алгоритмика -- алгоритмы -- сортировка данных -- поиск данных -- численные методы Держатели документа: Зональная научная библиотека имени В. А. Артисевич ФГБОУ ВО СГУ имени Н. Г. Чернышевского |
Новые поступления (книга в стадии обработки) Зверев, Геннадий Никифорович Теоретическая информатика и её основания [Текст] : в 2 т. / Г. Н. Зверев. - Москва : ФИЗМАТЛИТ, 2007 - . Т. 1. - Москва : ФИЗМАТЛИТ, 2007. - 591, [1] с. - Библиогр.: с. 556-564. - Предм. указ.: с. 584-588. - ISBN 978-5-9221-0925-3 (в пер.) : 785.40 р.
Рубрики: вычислительная техника--информационные технологии Кл.слова (ненормированные): информатика -- системология -- логико-математический язык -- семиотика -- семантика -- алгоритмика -- индефинитика -- сенсорика Держатели документа: Зональная научная библиотека имени В. А. Артисевич ФГБОУ ВО СГУ имени Н. Г. Чернышевского |
Новые поступления (книга в стадии обработки) Алгоритмика. 5-7 классы [Текст] : учеб. и задачник для общеобразоват. учреждений / А. К. Звонкин [и др.]. - 3-е изд. - Москва : Дрофа, 1998. - 304 с. : ил. - ISBN 5-7107-2275-8 (в пер.) : 26.91 р.
Рубрики: математика--математика Кл.слова (ненормированные): алгоритмы -- алгоритмика -- алгоритмическое мышление Аннотация: Основная цель учебника - научить школьников алгоритмическому мышлению: умению предусматривать и анализировать обстоятельства, планировать свои действия. Держатели документа: Зональная научная библиотека имени В. А. Артисевич ФГБОУ ВО СГУ имени Н. Г. Чернышевского Доп. точки доступа: Звонкин, А. К. Ландо, С. К. Семенов, А. Л. Шень, А. Х. |
Новые поступления (книга в стадии обработки) Энгелер, Э. Метаматематика элементарной математики [Текст] : научное издание / Э. Энгелер ; пер. с нем. Г. Е. Минц. - М. : Мир, 1987. - 128 с. ; 20 см. - 0.50 р.
Рубрики: МАТЕМАТИКА--ЭЛЕМЕНТАРНАЯ МАТЕМАТИКА Кл.слова (ненормированные): МАТЕМАТИКА -- ЭЛЕМЕНТАРНАЯ МАТЕМАТИКА -- МЕТАМАТЕМАТИКА -- КОНТИНиум -- АЛГОРИТМИКА -- ЛАМБДА-ИСЧИСЛЕНИЕ Аннотация: Изложены проблемы обоснования теории вещественных чисел, аксиоматика геометрии, понятие алгоритма. Держатели документа: Саратовский государственный технический университет им. Гагарина Ю. А. Доп. точки доступа: Минц, Г. Е. |
Новые поступления (книга в стадии обработки) Энгелер, Эрвин. Метаматематика элементарной математики [Текст] : пер. с нем. / Э. Энгелер. - Москва : Мир, 1987. - 128 с. : ил. - 0-50 Рубрики: Математика--Математическая логика Кл.слова (ненормированные): аксиоматизация -- алгоритмика -- вещественные числа -- вычислимость -- вычислительное предписание -- геометрия -- комбинаторная логика -- комбинаторные алгебры -- комбинаторы -- континуум -- координатизация -- ламбда-исчисление -- основания математики -- элементарная геометрия -- элементарная математика Держатели документа: Муниципальное учреждение культуры (Централизованная библиотечная система города Саратова) |