ИНФОРМАТИКА - Наука о накоплении и обработке информации компьютерах и в сетях ЭВМ.

ГосЭкзамен ЕГЭ-2011 по Информатике и ИКТ состоитися 25 мая во всех школах России.

Прогноз ВАК: ЕГЭ-2011 по Информатике и ИКТ сдадут не порядка 80 тысяч школьников России.

История Информатики ВТ в России:
1) Ершов и др. Основы Информатики и ВТ,1985
2) Каймин, Питеркин Основы Информатики и ВТ, 1985 учебное пособие для студентов МИЭМ и учителей Москвы
3) Каймин и др. Основы Информатики и ВТ, 1989 базовый учебник для школьников России, Украины и СССР

Информатика в Школах и Вузах - 25 Лет.
Информатика: Первые Учебники, 1985:
1) Ершов. Информатика без ЭВМ, 1985
2) Каймин. Информатика на ЭВМ, 1985
3) Кушниренко. Информатика без ЭВМ,1987

Базовые Учебники Информатики:
1) Соотв. Стандартам Образования
2) Соотв. Требованиям ЕГЭ
3) Экзамены и зачеты на ЭВМ
4) Интернет-Олимпиады

ые Электронные Учебники Каймина:
1) Гипертекстовые Учебные Материалы
2) Интерактивные Открытые Тесты
3) Электронные Адаптивные Тренажеры
по Информатике и Обществознанию

Цели и Задачи Информатики в Школах:
1) Минимум - Компьютерная Грамотность
2) Максимум - Информационная Культура
3) Базис - Программирования без Ошибок

Методы Разработки Программм:
1) Хаотическое Прораммирование
2) Структурное Проектирование
3) Доазательное Программирование

Программирование для ЭВМ Без Ошибок:
1) с Тестированием программ на ЭВМ
2) со Структурными Алгоритмами
3) с Доказательствами Правильности
4) со Спецификациями Программ на ЭВМ

Спецификации Решения Задач на ЭВМ:
1) Математическая Постановка Задач
2) Методы и Способы решения задач
3) Сценарии Диалога с ЭВМ
4) Алгоритмы Решения Задач на ЭВМ

Математическая Постановка Задач:
1) Что Дано?
2) Что Требуем?
3) Требуем Результаты???
4) Допустим Данные???

Внедрение Компьютерной Грамотности:
1) Москва - с 1991г.
2) Казахстан - с 2000г.
3) Россия - с 2010 г.

Содержание ЕГЭ по Информатике и ИКТ:
1) Основы Математической Логики
2) Основы Алгоритмизации для ЭВМ
3) Основы Реляционных Баз Данных
4) Языки Программ Бейсик и Паскаль

В.А.Каймин: Учебники с Открытым ПО:
1. Информатика для студентов
2) Информатика для школьников
3) Информатика для абитуриентов

Базовые Учебники Информатики были рекомендованы Мин.Образом России:
1) для Студентов Вузов России
2) для Учеников Всех Школ СССР
3) для Поступающих в Вузы РФ

Обучение Информатике и Доказательному Программированию,1980-2010
1) Студенты-программисты - 2 тысячи
2) Учителя Информатики - 3 тысячи
3) Экзамены Информатики - 50 тысяч
4) Обучение Информатике - 2 миллиона

ТРИУМФ: ЕГЭ-2009 по Информатике и ИКТ успешно сдали 50 тысяч школьников и Все зачислены в Вузы России.

ЕГЭ-2010 по Информатике и ИКТ сдадут 60-70 тысяч школьников и их зачислят в Лучшие Вузы России.

Основы Логики в Информатике - Исчисление Высказываний и Языки Запросов к Базам Данных на ЭВМ.

Анализ Правильности Алгоритмов - Ключ к Составлению Программ и Решению Задач без Ошибок.

Программы для ЭВМ содержат ошибки, если они дают Сбои, Отказы или Неправильные Результаты.

Алгоритмы - Правильные, если они дают правильные результаты для всех допустимых данных.

Для Побед на Олимпиадах и в Жизни нужно Решать Задачи Разрабатывать Программы Без Ошибок.

Логика и Доказательное Программирование - Основа основ Информатики и Программирования для ЭВМ.

Основы Логики в Информатике - Исчисление Высказываний и Языки Запросов к Базам Данных на ЭВМ.

ЕГЭ по Информатике и ИКТ нужно проводить на компьютерах - решение Президентской Комиссия по ЕГЭ.

Для Подготовки к ЕГЭ нужны Базовые Учебники, соответствующие Стандартам и Требованиям ЕГЭ.

Базовые Учебники Информатики для абитуриентов и студентов можно почитать и заказать через Интернет.

Требования ЕГЭ: Информатка и ИКТ: Основы логики, Баз Данных, Интернет, Алгоритмы и Пакеты ПО.


Для Экзаменов ЕГЭ на ЭВМ нужны Базовые Пакеты Открытого ПО Дома и в школах для Windows и Linux.

Базовое Открытое ПО под ЕГЭ Информатика и ИКТ на Компьютерах можно загрузить через Интернет.

Школьные Учебники Информатики
1. Угринович: Алгоритм., Бейсик, Офис. Нет Логики
2. Семакин: Офис, Интернет. Нет Логики
3. Макарова -Офис, Нет Логики Интернет
4. Гейн - Алгоритм., Бейсик, Нет Логики

ЕГЭ-2010: Для Подготовки к ЕГЭ по Информатике ИКТ нужны Базовые Учебники Информатики для поступающих в Вузы.

Информатика и ИКТ - это Информатика плюс Интернет и Интернет-Технологии на базе Яндекс и Google.

Мировые Стандарты Интернет - язык разметки HTML и язык скриптов JavasScript на всех ЭВМ.

Базовые Интернет-Технологии - сайты, блоги, форумы и интерактивные формы на порталах Яндекс.

Программы JavaScript - Открытое ПО, публикуемые и исполняемые на всех компьютерах в Интернет.

Инженерия Знаний - Проектирование Экспертных Систем и Баз Знаний на ЭВМ и в сети Интернет.

Основы Логики в Информатике - Факты, Суждения, Утверждения, доказательства, рассуждения и опровержения.

ДЫРЫ в ВиКи-Педии: отсутствует Компьютерное Право, Компьютерные Науки и первоисточники???

Для решения Задач на ЭВМ Главное - Это Четкая Постановка: Что дано? и Что требуется???

Основные Свойства Алгоритмов и Программ для ЭВМ - Результативность и Правильность результатов.

Информация - сведения о людях, предметах, событиях и процессах согласно Закону РФ "О информации".

ЗНАНИЯ - Достоверные Сведения о Людях, Вещах и Окружающем Мире и его Истории. В Знания - Сила.

Основные Свойства Информации - достоверность. Достоверная информация - Истина, Недостоверная - Ложь.

ПРОЛОГ - Язык Программирования Логики в Базах Знаний на ЭВМ и в глобальной сети Интернет.

Структурный Псевдокод - Основа Основ Алгоритмизации и Программирования Структурного Доказательного.

Информатика для Школ - Информатика с Компьютерами и с Открытыми Офисными Пакетами для ЭВМ.

Пример1 Дефектных Программ - Браузер Internet Explorer в Windows по отчетам поисковой компании Google.

Пример2 Дефетного ПО - Опер.Система Windows 7 нашпигованная компьютерными вирусами и троянами???

ЕГЭ по Информатике и ИКТ нужно сдавать на Компьютерах с Открытым ПО и Базовыми Учебниками.

Информатика в Вузах и Школах с Открытым Офисом и Свободным ПО проходила в Москве 5 лет с 2005г.

БАЗЫ ЗНАНИЙ ЭВМ - совокупность Фактов и Правил Вывода Логического, Эмпирического и Эвристического.

ЭВМ - Машины Вычислительные Электронный - БЭСМ-6, Эльбрус, Супер-Компьютер Ломоносов в МГУ.

Машинный Интеллект - в поисковиках Базы Знаний в системах Яндекс, Google и Bing для поиска в Интернет.

ЕГЭ по Информатике и ИКТ - вступительные госэкзамены в вузы на компьютерные специальности.

МЕДВЕДЕВ: Экзамены и ЕГЭ по Информатике и ИКТ нужно сдавать с компьютерами и Интернет.

ГОНКА на Вершины Знаний - Новая Стратегическая Инициатива Президента Обамы вслед За Медведевым???

ЕГЭ-2009 по Информатике сдали 50 тысяч школьников и все поступили в вузы на компьютерные специальности

Требования к ЕГЭ по Информатике и ИКТ - знания Основ Логики, Интернет, Алгоритмизации и Баз Данных.

Основы Логики:
1) Исчисление Высказываний.
2) Логика в Базах Данных
3) Исчисление Предикатов
4) Пролог в Базах Знаний
5) Логика в Алгоритмизации
6) Анализ Алгоритмов и Программ

В Задачах и Заданиях ЕГЭ по информатике требуется анализ правильности алгоритмов и программ для ЭВМ.

Техника Анализа:
1. Анализ Результатов
2. Постановка Задач
3. Анализ Альтернатив
4. Методы Решения
5. Анализ Циклов
6. Индуктивная Логика
7. Анализ Алгоритмов.
8. Техника Доказательств.

Информация - сведения о людях, вещах, событиях и процессах. Законы РФ "О защите информации в ЭВМ".

Информация - достоверна, если она соответствует действительности. Недостоверная - Ложь, достоверная - Истина.

Логика Исчисления Высказываний = Язык запросов к базам данных SQL со логическими связками "И","ИЛИ","НЕ".

Базы Знаний = совокупность фактов и правил вывода над сведениями о людях и вещах в природе и в обществе.

СМИ - Системы Машинного Интеллекта - Яндекс, Google и Bing с Базами Данных поиска информации в Интернет.

BASE - Открытая Реляционная База Данных на домашних и офисных компьютерах с Windows и Linux.

Язык Пролог = язык исчисления предикатов, исполняемых над ЭВМ над базами знаний и данных.

Машинный Интеллект = язык поиска и вывода информации в Базах Данных и Базах Знаний./ВАКаймин, 1989.

Логика Алгоритмизации - Логика суждений и рассуждений о результатах выполнения алгоритмов и программ на ЭВМ.

доказательное Программирование - составление Алгоритмов и Программ для ЭВМ с доказательствами правильности.

90% школьников в Москве получили двойки на пробных экзаменах ЕГЭ по информатике и ИКТ.

Причина Провалов на ЕГЭ - отсутствие Логики и Алгоритмизации в учебника Ширина и Семакина и Макаркиной.

Авторы Учебника Информатики с ЭВМ - преподаватели ФизМатШколы МИЭМ - Каймин, Щеголев, Ерохина и Федюшин.

ФизМатШкола МИЭМ создана в 1967г. Тарасовым и Кайминым для подготовки школьников к учебе в Вузах.

(С) В.А.Каймин, профессор, доктор компьютерных наук WDU, автор учебников информатики, 1985-2010.