Главная Сайт МБУ "МИБС" Инструкция по поиску в WEB-ИРБИС Видеоуроки по поиску в WEB-ИРБИС
Авторизация
Фамилия
№ читательского билета
 

Базы данных


Статьи- результаты поиска

Вид поиска

Область поиска
Поисковый запрос: (<.>K=теория информатики<.>)
Общее количество найденных документов : 3
Показаны документы с 1 по 3
1.


    Поляков, К. Ю.
    Элементы теории алгоритмов / К. Ю. Поляков, Е. А. Еремин // Информатика - Первое сентября. - 2012. - № 1. - С. 4-22 : фот., ил., рис. - (Профиль) )
УДК
ББК 74.26
Рубрики: Образование. Педагогика
   Методика преподавания учебных предметов

Кл.слова (ненормированные):
Евклида алгоритм -- Маркова нормальные алгорифмы -- Поста машина -- Тьюринга машина -- Черча-Тьюринга тезис -- алгоритм Евклида -- алгоритмически неразрешимые задачи -- алгоритмы -- алгоритмы поиска -- алгоритмы сортировки -- асимптотическая сложность -- вычислимые функции -- доказательное программирование -- инвариант цикла -- машина Поста -- машина Тьюринга -- невычислимые функции -- нормальные алгорифмы Маркова -- педагогика -- правильность программы -- программы -- спецификации -- тезис Черча-Тьюринга -- теория алгоритмов -- теория информатики -- универсальный исполнитель
Аннотация: Исчерпывающее и систематическое изложение одной из самых глубоких и интересных тем профильного курса информатики.


Доп.точки доступа:
Еремин, Е. А.; Тьюринг, А. (английский математик ; 1912-1956); Пост, Э. Л. (американский математик ; 1897-1954); Марков, А. А. (советский математик ; 1897-1954); Матиясевич, Ю. В. (советский математик ; 1947-); Черч, А (американский математик ; 1903-1995); Дейкстра, Э. В. (нидерландский ученый ; 1930-); Ершов, А. П. (теоретик программирования в СССР ; 1931-1988)
Прямая ссылка
Найти похожие

2.


    Горячев, А. В. (кандидат педагогических наук).
    Информатика во взрослых играх и жизненных задачах / А. В. Горячев // Информатика - Первое сентября. - 2012. - № 1. - С. 22-24. - (Базовый курс) )
УДК
ББК 74.26
Рубрики: Образование. Педагогика
   Методика преподавания учебных предметов

Кл.слова (ненормированные):
информационно-коммуникационные технологии -- компетентностные ориентации -- метапредметные результаты -- модульные структуры -- образовательные стандарты -- обучение информатике -- педагогика -- профильное обучение -- разноуровневое обучение -- средства ИКТ -- теория информатики -- учебники
Аннотация: К следующему учебному году в издательстве "Баласс" выйдут новые учебники по базовому курсу информатики. О новых учебниках рассказывает руководитель авторского коллектива.

Прямая ссылка
Найти похожие

3.


    Островский, С. Л.
    Тема "Базы данных": два первых урока / С. Л. Островский // Информатика - Первое сентября. - 2012. - № 1. - С. 25-36 : табл. - (Базовый курс) )
УДК
ББК 74.26
Рубрики: Образование. Педагогика
   Методика преподавания учебных предметов

Кл.слова (ненормированные):
базы данных -- задачи -- информатика -- обобщение знаний -- основы программирования -- педагогика -- способы организации данных -- таблицы -- теория информатики -- управление базами данных -- уроки -- учебники
Аннотация: В статье приведены материалы двух первых (самых сложных) уроков по теме "Базы данных".

Прямая ссылка
Найти похожие

 
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)