Библиотека АГГПУ

Головна

Спрощенний режим

Опис

Бази даних

Каталог книг- результати пошуку

Вид пошуку

Каталог книг

Труды преподавателей

Каталог периодических изданий

Межвузовская электронная библиотека

ФЭРУ

Зона пошуку

у знайденому

Знайдено у інших БД:

Труды преподавателей (1)

Каталог статей (530)

IPRbooks книги (123)

Межвузовская электронная библиотека (14)

Формат представлення знайдених документів:
повний	інформаційний	короткий

Відсортувати знайдені документи за:
автором	назвою	роком видання	типом документа

Пошуковий запит: <.>K=алгоритмы<.>

Загальна кількість знайдених документів : 50
Показані документи с 1 за 20

1-20 21-40 41-50

   22.1
   А 29

    Адельсон-Вельский, Георгий Максимович.
    Потоковые алгоритмы / Г. М. Адельсон-Вельский, Е. А. Диниц, А. В. Карзанов. - М. : Наука, 1975. - 119 с. - 7 000 прим.. -

ББК 22.1
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ--ФИЗИКО-МАТЕМАТИЧЕСКИЕ НАУКИ--МАТЕМАТИКА
Кл.слова (ненормовані):
математика

Дод.точки доступу:
Диниц, Ефим Абрамович; Карзанов, Александр Викторович
Примірників всього: 1
Аб. (1)
Свободны: Аб. (1)
Знайти схожі

   88.2
   А 37

    Айзман, Нина Игоревна.
    Психологические основы безопасности человека [Текст] : учебное пособие для студентов вузов / Н. И. Айзман, Р. И. Айзман, С. М. Зиньковская. - Новосибирск ; Москва : Арта, 2011. - 272 с. : ил. - (Безопасность жизнедеятельности). - Библиогр.: с. 213 - 215. - 3000 прим.. - ISBN 978-5-902700-36-4
Рекомендовано УМО

15.21.61

ББК 88.2 + 68.9
Рубрики: ПСИХОЛОГИЯ--ОБЩАЯ ПСИХОЛОГИЯ--ПСИХОЛОГИЯ СОСТОЯНИЙ
ВОЕННОЕ ДЕЛО. ВОЕННАЯ НАУКА--ГРАЖДАНСКАЯ ЗАЩИТА
Кл.слова (ненормовані):
психологические проблемы опасных ситуаций -- психологические проблемы экстремальных ситуаций -- психологическая помощь в экстремальных ситуациях -- психологические состояния человека -- психотерапия в реабилитации -- алгоритмы безопасного поведения -- измененное сознание человека -- агрессивное поведение -- стресс

Дод.точки доступу:
Айзман, Роман Иделевич; Зиньковская, Светлана Михайловна
Примірників всього: 10
Ч.з.№1 (1), Ч.з.№3 (1), Аб. (4), фмф (4)
Свободны: Ч.з.№1 (1), Ч.з.№3 (1), Аб. (4), фмф (4)
Знайти схожі

   32.97
   А 44

    Акулов, Олег Анатольевич.
    Информатика [Текст] : базовый курс : учебник для студентов вузов, бакалавров, магистров, обучающихся по направлению "Информатика и вычислительная техника" / О. А. Акулов, Н. В. Медведев. - 5-е изд., испр. и доп. - М. : Омега-Л, 2008. - 574 с. - (Высшее техническое образование). - 6000 прим.. - ISBN 978-5-365-00901-1
Рекомендовано УМО

   22.1
   А 45


    Алгоритмы и алгоритмические языки [Текст]. Вып. 1 / гл. ред. С. С. Лавров. - Москва : Вычислительный центр академии наук СССР, 1967. - 61 с. - 6350 прим.. -

27.03

ББК 22.12
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ--ФИЗИКО-МАТЕМАТИЧЕСКИЕ НАУКИ--МАТЕМАТИКА--ОСНОВАНИЯ МАТЕМАТИКИ. МАТЕМАТИЧЕСКАЯ ЛОГИКА
Кл.слова (ненормовані):
теория алгоритмов -- алгоритмические языки

Дод.точки доступу:
Лавров, С. С. \гл. ред.\
Примірників всього: 1
Аб. (1)
Свободны: Аб. (1)
Знайти схожі

   32.97
   Б 46

    Бененсон, Евгения Павловна.
    Информатика и ИКТ: 3 класс [Текст] : (второй год обучения) : учебник : в 2 ч. Ч. 2 / Е. П. Бененсон, А. Г. Паутова. - 5-е изд. - М. : Академкнига/Учебник, 2010. - 96 с. : ил. - 29000 прим.. - ISBN 978-5-94908-585-1
Рекомендовано Мин. образования

ББК 32.974 я72
Рубрики: ТЕХНИКА И ТЕХНИЧЕСКИЕ НАУКИ В ЦЕЛОМ--РАДИОЭЛЕКТРОНИКА--ВЫЧИСЛИТЕЛЬНАЯ ТЕХНИКА--КОМПЬЮТЕРЫ
Кл.слова (ненормовані):
3 класс -- алгоритмы -- информационно-коммуникативные технологии -- начальная школа -- информатика и ИКТ

Дод.точки доступу:
Паутова, Альбина Геннадьевна
Примірників всього: 1
Ч.з.№1 (1)
Свободны: Ч.з.№1 (1)
Знайти схожі

   74.2
   Б 90

    Булыгин, В. Г.
    Основы автоматизации процесса обучения [Текст] / В. Г. Булыгин. - Йошкар-Ола : Вертикаль, 2003. - 192 с. - 500 прим.
    Зміст:
Образовательная система России . - С .7
Краткая характеристика системы образования России . - С .7
Особенности национальной политики в системе образования России . - С .11
Автоматизация учебного процесса . - С .17
Учебный процесс как объект управления . - С .17
Педагогическая модель знаний . - С .26
Рейтинговая система оценки знаний . - С .27
Тестовый контроль знаний . - С .30
Педагогические программные средства . - С .31
Типология систем автоматизированного обучения . - С .37
Основы теории тестирования . - С .45
Основные понятия теории тестирования . - С .45
Латентное пространство. Характеристические кривые . - С .50
Модели характеристических кривых . - С .54
Нормальные модели . - С .55
Логистические модели . - С .56
Модель Раша . - С .57
Модель Гутмана . - С .58
Информационные функции . - С .58
Базы заданий для проектирования тестов . - С .62
Параметры тестовых заданий . - С .62
Структура базы заданий . - С .64
Калибровка заданий. Экспертные методы . - С .65
Калибровка заданий. Статистические методы . - С .66
Метод PROX для модели Раша . - С .67
Метод наибольшего правдоподобия . - С .68
Метод наименьших квадратов . - С .71
Выравнивание заданий в файле . - С .72
Модели и алгоритмы проектирования тестов . - С .75
Базовая модель . - С .75
Модель В. П. Беспалько . - С .77
Классическая процедура . - С .79
Модель Лорда-Бирнбаума . - С .81
Процедура В. С. Аванесова . - С .83
Многоцелевая модель . - С .83
Модульно-матричные модели . - С .85
Автоматизация проектирования тест-билетов . - С .91
Проблема проектирования тест-билетов . - С .91
Постановка задачи автоматизированного проектирования тест-билетов . - С .93
Примеры математических моделей конструирования тестов . - С .100
Вычислительные аспекты задачи автоматизированного проектирования тест-билетов . - С .104
Методические и технологические аспекты тестирования . - С .109
Методика оценки обучаемых . - С .109
Методика оценки профессиональной готовности обучающего . - С .112
Технология проведения тестовых испытаний . - С .128
Автоматизация образовательной системы . - С .134
Проблема управления системой образования . - С .134
Архитектура интегрированной системы управления . - С .142
Описание системы ФОНД . - С .148
Компьютерные сети . - С .154
Организация глобальной сети Интернет . - С .155
Общие принципы построения локальной вычислительной сети . - С .160
Корпоративные сети электронной почты . - С .162
Автоматизация электронного документооборота . - С .164
Педагогические информационные базы данных . - С .169
Организация системы дистанционного образования . - С .173

14.25.07

ББК 74.202.6
Рубрики: ОБРАЗОВАНИЕ. ПЕДАГОГИЧЕСКИЕ НАУКИ--ОБЩЕОБРАЗОВАТЕЛЬНАЯ ШКОЛА. ПЕДАГОГИКА ШКОЛЫ--МЕТОДЫ, ФОРМЫ И СРЕДСТВА ОБУЧЕНИЯ
Кл.слова (ненормовані):
автоматизация учебного процесса -- компьютерные сети -- педагогические информационные базы данных -- дистанционное образование -- корпоративные электронные сети -- оценка знаний -- тест -- тестирование в педагогике -- контроль знаний
Анотація: В книге рассматриваются вопросы построения автоматизированных систем управления процессом обучения, основы теории тестового и рейтингового контроля, методы проектирования тестовых заданий, методики проведения тестового контроля. Изложены вопросы оценки профессиональной подготовки педагогических кадров, автоматизации управления образовательной системой, организации информационного обмена в системе автоматизации управления образовательной системой. Книга предназначена для управляющего звена системы образования, работников методических служб, работников системы переподготовки педагогических кадров, студентов педагогических учебных заведений.

Примірників всього: 3
Ч.з.№1 (1), Аб. (2)
Свободны: Ч.з.№1 (1), Аб. (2)
Знайти схожі

   22.1
   В 63

    Воеводин, Валентин Васильевич.
    Численные методы алгебры : теория и алгоритмы / В. В. Воеводин. - М. : Наука, 1966. - 248 с. - (Библиотека прикладного анализа и вычислительной математики). - 10 000 прим.. -

27.17

ББК 22.14
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ--ФИЗИКО-МАТЕМАТИЧЕСКИЕ НАУКИ--МАТЕМАТИКА--АЛГЕБРА
Кл.слова (ненормовані):
алгебра -- численные методы -- матрицы -- линейные уравнения -- метод вращений -- корни -- таблицы

Примірників всього: 1
Аб. (1)
Свободны: Аб. (1)
Знайти схожі

   74.268.1Рус
   В 74


    Вопросы методики преподавания русского языка в средней школе / ред. А. В. Текучев. - Москва : Просвещение, 1965. - 135 с. - 48000 прим.
    Зміст:
Власенков, А. И. Исчерпаны ли возможности и формы орфографического разбора? / А. И. Власенков. - С .6
Власенков, А. И. Алгоритмы в обучении орфографии / А. И. Власенков. - С .25
Григорян, Л. Т. Исследование причин пунктуационных ошибок учащихся / Л. Т. Григорян. - С .53
Панов, Б. Т. Синтактико-стилистическая подготовка учащихся к изложениям и сочинениям / Б. Т. Панов. - С .74
Тростенцова, Лидия Александровна. Ошибки учащихся при анализе морфологических категорий / Л. А. Тростенцова. - С .97
Фомичева, Г. А. Усвоение учащимися понятий о видах синтаксической связи между словами в словосочетании и предложении / Г. А. Фомичева. - С .104
Блинкина, А. И. Об осуществлении взаимосвязи морфологии и синтаксиса при изучении безличных глаголов в VI классе / А. И. Блинкина. - С .120

14.25.09

ББК 74.268.19Рус
Рубрики: ОБРАЗОВАНИЕ. ПЕДАГОГИЧЕСКИЕ НАУКИ--МЕТОДИКА ПРЕПОДАВАНИЯ ЯЗЫКОВ--МЕТОДИКА ПРЕПОДАВАНИЯ РУССКОГО ЯЗЫКА
Кл.слова (ненормовані):
русский язык -- методика преподавания русского языка в средней школе -- орфографический разбор -- орфография -- пунктуационные ошибки -- сочинения -- изложения -- анализ морфологических категорий -- словосочетание -- слово -- предложение -- безличные глаголы -- 6 класс

Дод.точки доступу:
Текучев, Алексей Васильевич \ред.\
Примірників всього: 1
Ч.з.№3 (1)
Свободны: Ч.з.№3 (1)
Знайти схожі

   22.1
   В 94


    Вычислительная математика и математическая физика : сборник научных трудов / ред. В. В. Щенников. - М. : Московский гос. педагогический институт им. В. И. Ленина, 1982. - 121 с. - 500 прим.
    Зміст:
Панарин, А. И. Разностные схемы с неотрицательной доминантой / А. И. Панарин, В. В. Щенников. - С .3
Панарин, А. И. Разностные схемы с неотрицательной доминантой для систем уравнений гиперболического типа / А. И. Панарин, В. В. Щенников. - С .9
Стесева, О. И. Об одном прямом методе решения разностороннего уравнения Лапласа / О. И. Стесева. - С .13
Кузнецов, Ю. К. Об оценке погрешности приближенного решения уравнения Риккати в окрестности подвижной особой точки. 1 часть / Ю. К. Кузнецов, В. Н. Орлов. - С .17
Кузнецов, Ю. К. Об оценке погрешности приближенного решения уравнения Риккати в окрестности подвижной особой точки. II часть / Ю. К. Кузнецов, В. Н. Орлов. - С .25
Филатов, Ю. А. Об одном приближенном методе решения уравнения Хилла / Ю. А. Филатов. - С .29
Кузнецов, Э. И. О применении технических средств обучения в курсе "Вычислительная математика и программирование" для педвузов / Э. И. Кузнецов, А. А. Абдукадыров. - С .34
Серегин, Л. В. Матричные алгоритмы в методе наименьших квадратов / Л. В. Серегин. - С .40
Серегин, Л. В. Обобщение формулы численного интегрирования Эйлера-Маклорена / Л. В. Серегин. - С .48
Корнеев, П. К. Построение интерационных процессов высших порядков при помощи цепных дробей / П. К. Корнеев. - С .52
Абакумов, А. А. Об одном подходе к распараллеливанию метода прогонки / А. А. Абакумов. - С .59
Фураев, В. З. Вывод уравнения для свободной поверхности фильтрующейся жидкости в слое конечной глубины / В. З. Фураев, Г. А. Шадрин. - С .120
Фураев, В. З. К вопросу о разрешимости задачи Коши для уравнений вида... / В. З. Фураев. - С .72
Денисов, И. В. Об асимптотическом решении дифференциальных уравнений в банаховом пространстве, неразрешенных относительно производной / И. В. Денисов. - С .77
Березман, Александр Моисеевич. Вихревые нити на развертывающихся поверхностях / А. М. Березман. - С .85
Яскевич, Л. Ф. Свободные продольные колебания корпуса гусеничной машины на подъеме или спуске при наличии демпферов а системе подрессоривания / Л. Ф. Яскевич. - С .90
Каминская, Э. Л. Модифицированная интервальная арифметика и теория погрешностей / Э. Л. Каминская, Т. Э. Каминский. - С .96
Кузнецов, Э. И. О преподавании элементов вычислительной математики и программирования на подготовительных отделениях вузов / Э. И. Кузнецов, А. Н. Соцкая. - С .106
Смирнова, Г. Н. О единственности решения задачи Коши для одного нелинейного вырождающегося уравнения / Г. Н. Смирнова, И. Райчинов. - С .109
Смирнова, Г. Н. Задача Коши с нулевыми начальными данными для некоторых систем нелинейных уравнений второго порядка / Г. Н. Смирнова, И. Райчинов. - С .114

27.41

29.05.03

ББК 22.19 + 22.311
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ--ФИЗИКО-МАТЕМАТИЧЕСКИЕ НАУКИ--МАТЕМАТИКА--ВЫЧИСЛИТЕЛЬНАЯ МАТЕМАТИКА
ЕСТЕСТВЕННЫЕ НАУКИ--ФИЗИКО-МАТЕМАТИЧЕСКИЕ НАУКИ--ФИЗИКА--ТЕОРЕТИЧЕСКАЯ ФИЗИКА. МАТЕМАТИЧЕСКАЯ ФИЗИКА (МАТЕМАТИЧЕСКИЕ МЕТОДЫ ТЕОРЕТИЧЕСКОЙ ФИЗИКИ)
Кл.слова (ненормовані):
вычислительная математика -- математическая физика -- ТСО -- технические средства обучения -- уравнения

Дод.точки доступу:
Щенников, В. В. \ред.\
Примірників всього: 1
Аб. (1)
Свободны: Аб. (1)
Знайти схожі

10.

   22.1
   Г 24

    Гашков, Сергей Борисович.
    Арифметика ; Алгоритмы ; Сложность вычислений : учебное пособие для вузов с углубленным изучением математики / С. Б. Гашков ; ред. В. А. Садовничий. - 3-е изд., испр. - М. : Дрофа ; М. : Московский гос. университет им. М. В. Ломоносова, 2005. - 320 с. - (Классический университетский учебник). - 2 000 прим.. - ISBN 5-7107-8904-6
Рекомендовано Мин. образования

27.15

ББК 22.130 я73
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ--ФИЗИКО-МАТЕМАТИЧЕСКИЕ НАУКИ--МАТЕМАТИКА--ТЕОРИЯ ЧИСЕЛ. АРИФМЕТИКА
Кл.слова (ненормовані):
арифметика -- математика -- вычислительная математика -- арифметический алгоритм -- задача Ахмеса -- алгоритм Евклида -- числа Фибоначчи -- уравнение Пелля -- Диофантовы приближения -- деление отрезка -- деление отрезка циркулем -- история математики

Дод.точки доступу:
Чубариков, Владимир Николаевич; Садовничий, Виктор Антонович \ред.\
Примірників всього: 2
Аб. (2)
Свободны: Аб. (2)
Знайти схожі

11.

   74.263.2
   Г 29

    Гейн, Александр Георгиевич.
    Информатика [Текст] : 7 - 9 класс : методическое пособие к учебнику А. Гейна и др. "Информатика : 7 - 9" / А. Г. Гейн, А. И. Сенокосов. - М. : Дрофа, 2002. - 288 с. : ил. - 5000 прим.. - ISBN 5-7107-4712-2

14.25.09

ББК 74.263.2
Рубрики: ОБРАЗОВАНИЕ. ПЕДАГОГИЧЕСКИЕ НАУКИ--МЕТОДИКА ПРЕПОДАВАНИЯ ИНФОРМАТИКИ И ИКТ
Кл.слова (ненормовані):
7 класс -- 8 класс -- 9 класс -- алгоритмы и исполнители -- вычислительная техника -- знакомство с компьютером -- методика преподавания информатики и ИКТ -- переменные в алгоритмах -- типы данных

Дод.точки доступу:
Сенокосов, Александр Иванович
Примірників всього: 13
Ч.з.№1 (1), фмф (3), Аб. (9)
Свободны: Ч.з.№1 (1), фмф (3), Аб. (9)
Знайти схожі

12.

   22.1
   Г 81

    Грешилов, Анатолий Антонович.
    Как принять наилучшее решение в реальных условиях / А. А. Грешилов. - М. : Радио и связь, 1991. - 320 с. : ил. - 30 000 прим.. - ISBN 5-256-00729-7

27.47

ББК 22.18
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ--ФИЗИКО-МАТЕМАТИЧЕСКИЕ НАУКИ--МАТЕМАТИКА--МАТЕМАТИЧЕСКАЯ КИБЕРНЕТИКА
Кл.слова (ненормовані):
математическое программирование -- алгоритмы

Примірників всього: 2
Ч.з.№1 (1), Аб. (1)
Свободны: Ч.з.№1 (1), Аб. (1)
Знайти схожі

13.

   81.41Р
   Г 83

    Гридина, Татьяна Александровна.
    Современный русский язык. Словообразование: теория, алгоритмы анализа, тренинг [Текст] : учебное пособие для вузов по специальности 032900 (050301) "Русский язык и литература" / Т. А. Гридина, Н. И. Коновалова. - 2-е изд. - Москва : Флинта : Наука, 2008. - 160 с. - 1000 прим.. - ISBN 978-5-89349-505-8
Рекомендовано УМО

16.41.21

ББК 81.41Р-20
Рубрики: ЯЗЫКОЗНАНИЕ (ЛИНГВИСТИКА)--СЕМЬИ ЯЗЫКОВ--РУССКИЙ ЯЗЫК--ГРАММАТИКА -- СЛОВООБРАЗОВАНИЕ
Кл.слова (ненормовані):
морфемика -- морфемный анализ -- деривация -- словообразовательный анализ -- словообразовательная структура слова -- методика словообразовательного анализа -- русский язык

Дод.точки доступу:
Коновалова, Надежда Ильинична
Примірників всього: 3
Ч.з.№2 (3)
Свободны: Ч.з.№2 (2)
Знайти схожі

14.

   74.263.2
   Д 79

    Дуванов, Александр Александрович.
    Транслятор? Это очень просто! / А. А. Дуванов. - М. : Чистые пруды, 2009. - 32 с. : ил. - (Библиотечка "Первого сентября", серия "Информатика" ; вып. 26). - 6 300 прим.. - ISBN 978-5-9667-0549-7

14.25.09

ББК 74.263.2
Рубрики: ОБРАЗОВАНИЕ. ПЕДАГОГИЧЕСКИЕ НАУКИ--МЕТОДИКА ПРЕПОДАВАНИЯ ИНФОРМАТИКИ И ИКТ
Кл.слова (ненормовані):
методика преподавания информатики и ИКТ -- проектирование трансляторов -- рекурсивные алгоритмы

Примірників всього: 1
Ч.з.№1 (1)
Свободны: Ч.з.№1 (1)
Знайти схожі

15.

   74.263.2
   З-17

    Зайдельман, Яков Наумович.
    Эффективность алгоритмов [Текст] : простые задачи и наглядные примеры / Я. Н. Зайдельман. - М. : Чистые пруды, 2006. - 32 с. - (Библиотечка "Первого сентября", серия "Информатика" ; вып. 5(11)). - 7000 прим.. - ISBN 5-9667-0221-7

14.25.09

ББК 74.263.2
Рубрики: ОБРАЗОВАНИЕ. ПЕДАГОГИЧЕСКИЕ НАУКИ--МЕТОДИКА ПРЕПОДАВАНИЯ ИНФОРМАТИКИ И ИКТ
Кл.слова (ненормовані):
информатика -- алгоритмы -- методика преподавания информатики и ИКТ

Примірників всього: 1
Аб. (1)
Свободны: Аб. (1)
Знайти схожі

16.

   22.1
   И 26

    Игошин, Владимир Иванович.
    Задачи и упражнения по математической логике и теории алгоритмов : учебное пособие для вузов по специальности "Математика" / В. И. Игошин. - 3-е изд., стер. - М. : Академия, 2007. - 304 с. - (Высшее профессиональное образование. Педагогические специальности). - 2 000 прим.. - ISBN 5-7695-3728-0
Рекомендовано отраслевым мин-вом

27.03

17.

   22.1
   И 26

    Игошин, Владимир Иванович.
    Математическая логика и теория алгоритмов : учебное пособие для физико-математических специальностей пед. институтов / В. И. Игошин. - Саратов : Саратовский гос. педагогический институт им. К. А. Федина, 2001. - 256 с. - 5 000 прим.. - ISBN 5-292-00259-3

27.03

ББК 22.12 я73
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ--ФИЗИКО-МАТЕМАТИЧЕСКИЕ НАУКИ--МАТЕМАТИКА--ОСНОВАНИЯ МАТЕМАТИКИ. МАТЕМАТИЧЕСКАЯ ЛОГИКА
Кл.слова (ненормовані):
математическая логика -- теория алгоритмов -- прикладная математика -- алгебра высказываний -- высказывания -- формулы алгебраических высказываний -- тавтологии алгебраических высказываний -- логическая равносильность формул -- нормальные формы для формул алгебры высказываний -- логическое следование формул -- логико-математическая практика -- булевы функции -- релейно-контактные схемы в эвм -- формализованное исчисление высказываний -- логика предикатов -- предикат -- логические операции над предикатами -- квантовые операции над предикатами -- формулы логики предикатов -- формализованное исчисление предикатов -- неформальные аксиоматические теории -- аксиоматический метод в математике -- аксиоматические теории -- формальные аксиоматические теории -- элементы теории алгоритмов -- интуитивное представление об алгоритмах -- машины тьюринга -- рекурсивные функции -- нормальные алгоритмы маркова -- разрешимость множеств -- перечислимость множеств -- неразрешимые алгоритмические проблемы -- теорема геделя -- математическая логика и программное обеспечение компьютеров -- программное обеспечение -- компьютер -- логическое программирование -- математическая логика и информатика -- математическая логика и искусственный интеллект -- искусственный интеллект -- законы мышления -- познание законов мышления

Примірників всього: 1
Аб. (1)
Свободны: Аб. (1)
Знайти схожі

18.

   22.1
   И 26

    Игошин, Владимир Иванович.
    Математическая логика и теория алгоритмов : учебное пособие для вузов / В. И. Игошин. - 2-е изд., стер. - М. : Академия, 2008. - 448 с. - (Высшее профессиональное образование. Педагогические специальности). - 1 500 прим.. - ISBN 978-5-76954593-1
Рекомендовано Мин. образования

27.03

ББК 22.12 я73
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ--ФИЗИКО-МАТЕМАТИЧЕСКИЕ НАУКИ--МАТЕМАТИКА--ОСНОВАНИЯ МАТЕМАТИКИ. МАТЕМАТИЧЕСКАЯ ЛОГИКА
Кл.слова (ненормовані):
математическая логика -- теория алгоритмов -- прикладная математика -- алгебра высказываний -- высказывания -- формулы алгебраических высказываний -- тавтологии алгебраических высказываний -- логическая равносильность формул -- нормальные формы для формул алгебры высказываний -- логическое следование формул -- логико-математическая практика -- булевы функции -- релейно-контактные схемы в эвм -- формализованное исчисление высказываний -- логика предикатов -- предикат -- логические операции над предикатами -- квантовые операции над предикатами -- формулы логики предикатов -- формализованное исчисление предикатов -- неформальные аксиоматические теории -- аксиоматический метод в математике -- аксиоматические теории -- формальные аксиоматические теории -- элементы теории алгоритмов -- интуитивное представление об алгоритмах -- машины тьюринга -- рекурсивные функции -- нормальные алгоритмы маркова -- разрешимость множеств -- перечислимость множеств -- неразрешимые алгоритмические проблемы -- теорема геделя -- математическая логика и программное обеспечение компьютеров -- программное обеспечение -- компьютер -- логическое программирование -- математическая логика и информатика -- математическая логика и искусственный интеллект -- искусственный интеллект -- законы мышления -- познание законов мышления

Примірників всього: 20
Аб. (20)
Свободны: Аб. (20)
Знайти схожі

19.

   74.263.2
   И 74


    Информатика в играх и задачах [Текст] : 3 класс : (1 - 4) : методические рекомендации для учителя / А. В. Горячев [и др.]. - М. : Баласс : Экспресс, 1997. - 128 с. - (Образовательная программа "Школа 2100"). - 5000 прим.. - ISBN 5-85939-087-4. - ISBN 5-7506-0104-8

14.25.09

ББК 74.263.2-7
Рубрики: ОБРАЗОВАНИЕ. ПЕДАГОГИЧЕСКИЕ НАУКИ--МЕТОДИКА ПРЕПОДАВАНИЯ ИНФОРМАТИКИ И ИКТ--НАЧАЛЬНАЯ ШКОЛА
Кл.слова (ненормовані):
3 класс -- алгоритмы -- закономерность -- методика преподавания информатики и ИКТ в начальной школе -- множество -- информатика -- объекты -- ШКОЛА 2100

Дод.точки доступу:
Горячев, Александр Владимирович; Волкова, Т. О.; Горина, К. И.; Лобачева, Л. Л.
Примірників всього: 3
Ч.з.№3 (1), Аб. (2)
Свободны: Ч.з.№3 (1), Аб. (2)
Знайти схожі

20.

   74.263.2
   И 74


    Информатика в начальной школе [Текст]. - М. : Образование и информатика, 2005. - 120 с. : ил. - ("Информатика в школе" : приложение к журналу "Информатика и образование"Приложение к журн. "Информатика и образование" ; № 8/2005). - 3450 прим.. - ISBN 5-900618-52-8
    Зміст:
Богатова, Ю. Л. Урок-игра "путешествие на планету Информатика" (III класс) / Ю. Л. Богатова. - С .4
Гильмиахметова, Г. Р. Урок в III классе на тему "Кодирование" / Г. Р. Гильмиахметова. - С .13
Колодий, И. М. Урок-игра "Путешествие по компьютерному лабиринту" (II класс) / И. М. Колодий. - С .22
Комогорова, Л. Ф. Урок-игра "Юный исследователь" (III класс) / Л. Ф. Комогорова. - С .35
Литовских, Е. В. Реализация обучения проекта "Зоопарк" на уроках информатики в IV классе / Е. В. Литовских. - С .42
Ожегова, С. Л. Урок-игра "Страна волшебных алгоритмов" / С. Л. Ожегова. - С .55
Осипова, А. А. Урок-сказка "Крутятся диски" / А. А. Осипова. - С .66
Серединцева, Т. А. Итоговый урок по курсу информатики II класса "Мы ищем кляксу" / Т. А. Серединцева. - С .76
Чернова, Г. К. Урок информатики во II классе на тему "Алгоритмы. Исполнители алгоритмов" / Г. К. Чернова. - С .82
Шмырев, А. А. Урок-сказка "Компьютерный мир" (IV класс) / А. А. Шмырев

14.25.09

ББК 74.263.2-7
Рубрики: ОБРАЗОВАНИЕ. ПЕДАГОГИЧЕСКИЕ НАУКИ--МЕТОДИКА ПРЕПОДАВАНИЯ ИНФОРМАТИКИ И ИКТ--НАЧАЛЬНАЯ ШКОЛА
Кл.слова (ненормовані):
методика преподавания информатики и ИКТ в начальной школе -- информатика -- урок-игра

Примірників всього: 1
Аб. (1)
Свободны: Аб. (1)
Знайти схожі

1-20 21-40 41-50

© Міжнародна Асоціація користувачів і розробників електронних бібліотек і нових інформаційних технологій
(Асоціація ЕБНІТ)