У 27 Угринович, Н. Д. Информатика. Базовый курс [Text] : учеб. для 9 кл. / Н. Д. Угринович. - М. : Бином, 2004. - 304 с. : ил. - ISBN 5-94774-169-5 : 75.50 р. Рубрики: Информатика--компьютер Кл.слова (ненормированные): информация -- кодирование -- алгоритм -- программирование -- моделирование -- формализация -- коммуникационные технологии -- Интернет -- Internet -- учебник для средней школы -- 9 класс Экземпляры всего: 18 Ч.з.1 (10), Аб.2 (8) Свободны: Ч.з.1 (5), Аб.2 (8) |
М 63 Мирам, Геннадий. Алгоритмы перевода: Вступительный курс по формализации перевода [Text] = Translation algorithms: Introduction to Translation formalization : [курс лекций] / Г. Мирам ; [под ред. М. Даймонда]. - Киев : Эльга : Ника- Центр, 2004. - 175 с. - ISBN 966-521-287-7 : 70.00 р. На англ. яз. Рубрики: Английский язык Кл.слова (ненормированные): перевод -- техника перевода -- формализация перевода -- алгоритмы перевода -- компьютерный перевод Доп.точки доступа: Даймонд, М. \ред.\ Экземпляры всего: 1 Аб.1 (1) Свободны: Аб.1 (1) |
Л 69 Логические задачи как форма контроля знаний [Text]. - М. : Образование и Информатика, 2005. - 103 с. - ISBN 5-900618-52-8 : 25р. р. Прилож.к журн."Информатика в школе".¦7-2005 Рубрики: Методика преподавания информатики Кл.слова (ненормированные): логика -- логические задачи -- решение задач по ЭВМ -- программирование -- текстовый процесс -- графика -- моделирование -- формализация -- пиктограммы -- пособие для учителя Экземпляры всего: 1 Аб.2 (1) Свободны: Аб.2 (1) |
Г 47 Гильберт, Д. Основания математики. Логические исчисления и формализация арифметики [Текст] : пер. с нем. / Д. Гильберт, П. Бернайс ; пер. Н. М. Нагорный ; ред. С. И. Адян. - 2-е изд. - М. : Наука, 1982. - 556,[4] с. - (Математическая логика и основания математики). - 2.70 р. Рубрики: Математика Кл.слова (ненормированные): основания математики -- логические исчисления Доп.точки доступа: Бернайс, П.; Нагорный, Н.М. \пер.\; Адян, С.И. \ред.\ Экземпляры всего: 5 Ч.з.1 (5) Свободны: Ч.з.1 (5) |
Г 47 Гильберт, Д. Основания математики. Логические исчисления и формализация арифметики [Текст] / Д. Гильберт, П. Бернайс. - М. : Наука, 1979. - 557 с. - 2.70 р. Рубрики: Математика Кл.слова (ненормированные): основания математики Доп.точки доступа: Бернайс, П. Экземпляры всего: 1 Аб.2 (1) Свободны: Аб.2 (1) |
И 74 Информатика в начальной школе [Текст]. - М. : Образование и Информатика, 2008. - 96 с. - (Информатика в школе №8-2008). - ISBN 5-900618-52-8 : 119.54 р. Рубрики: Методика преподавания информатики Кл.слова (ненормированные): начальная школа -- урок информатики -- формализация и моделирование -- поурочное планирование -- разработки уроков -- урок-игра -- интегрированные уроки -- межпредметные связи -- пособие для учителя Экземпляры всего: 1 Аб.2 (1) Свободны: Аб.2 (1) |