История ИНформатики в России началась
1) Базовых учебников Информатики
2) Базовых Пакетов Программ для школьных ЭВМ в МИЭМ в 1985-88гг.

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

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

WDU/МИЭМ: Курсы Подготовки к Чемпионатам по Программированию:
1) Решение Олимпиадных Задач(Паскаль)
2) Программирование на языке С/С++
3) Программирование на Java(-Скрипт)

Зантия на в WDU/МИЭМ с 15.02.2011:
1) Вторник - Решение Олимпиадных Задач
2) Четверг - Программирование на С/С++
3) Пятница = Тестирование Программ

Тестирование Программ на ЭВМ:
Програмы содержат ошибки, если они дают
1) сбои, 2) отказы, 3) неверные результаты

ФизМатШкола МИЭМ = 40 Лет Успешной Подготовки к Экзаменам
1) МатеМатика, 2) Информатика 3) Физика 4) Русский

Студенты-СуперПрограммисты МИЭМ:
1) Тютюников Николай, ФПМ, Кибер.
2) Тэтюхин Михаил, ФПМ, Кибер.
3) Каймин Сергей, ФИТ, СаПр
4) Крылов Щеголев Саша, ФПМ, Кибер.

НОС = Национальная Операционная Система для Супер-Компьютеров, Интернет-Серверов для Школ и ВУзов России.

Супер-Программисты = Разработка Алгоритмов и Программ без Ошибок:
1) Харлан Милз, США, рук.департ.IBM
2) Андрей П. Ершов, ВЦ АН СССР
3) Виталий А.Каймин, РФ, WDU=МИЭМ

Компьютерные Науки:
1) Компьютерная Инженерия
2) Программная Инженерия
3) Системная Инженерия

История Инноваций Выч.Техники
1) Первый СуперКомпьютер в Мире
1) Разработчик = Лейбниц, Голландия
2) Инноватор-Внедренец = Петр-1, Россия
Компьютер Лейбница Петр-1 привез и установил в Кунсткамере в Петербурге

Успех Космического Проекта Буран <= Полное Тестирование Программ и Документирование по ЕСКД.

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

История Информатики, 1985-2000-2010:
1) Глушков. Основы Безбум.Информатики
2) Ершов Основы Информатики, 1985.
3) Каймин. Основы Информатики, 1985.
4) Каймин. Информатика. Учебник,1999.
5) Поспелов. Информатика. Энциклопедия

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

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

СистемоТехника - Электронный ВАКовский Журнал для докторантов, аспирантов магистров и маг-ов права

Критерии Качества Программ для ЭВМ:
1) Функциональность, 2) Надежность,
3)Гибкость, 4) Унифицированность

Опыт Разработки Надежных Программ:
1) САПР для Системы ПРО, 1969-1972
2) Космические Тренажеры, 1973-1977
3) Бортовое ПО Ракет Буран,1983-1988
4) Базовые Пакеты ПО ЭВМ, 1986-1993
5) Электронные Учебники, 1994-2011

Интернет-Олимпиады по Информатике:
1 Тур - решение Задач в Интернет
2 Тур - Сдача ГосЭкзаменов ЕГЭ
3 Тур - Решение Задач на ЭВМ

Технологический Базис; ЕСКД, Открытое ПО и Усовершенствованные Методы Разработки ПО ИБМ/МИЭМ

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

Базовые Электронные Учебники Информатики для Вузов и Школ:
1) ответствуют стандартам Образования
2) соответствуют Требованиям ЕГЭ
3) Проверка Знаний в Интернет
4) подготовка к Экзаменам на ЭВМ

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

Обучение Программированию в Школах:
0) Структурный Псевдокод для ЭВМ
1) Бейсик - Диалоговые Программы
2)Паскаль - Структурно Программы
3) JavaCкрипт - Интернет-Программы

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

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

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

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

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


Базовы Языки Программирования для ЭВМ:
0) Структурный Псевдокод
1) Диалоговый язык Бейсик
2) Структурный Язык Паскаль
3) Гипертекстовый Java-Скрипт

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


Космические Ядерные ракеты не должны иметь ошибок в бортовом ПО - инче Погибнет Все Живое на Земле???

КОМПЬЮТЕРНЫЕ НАУКИ:
1) Компьютерная Инженерия и ЭВМ
2) Программная Инженерия и ПО
3) Инженерия Знаний и Базы Знаний
4) Компьютерное Право и Интернет

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

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

Компьютерная Грамотность над Открытым ПО:
1) Свободный Браузер FireFox
2) Редактор Текстов Writer
3) Электронные Таблицы Calc
4) Табличные Базы Данных Base

Опер.Система Виндуз как и Система ПРО - Решето с Дырами Эратосфена - Дыр Бесконечно Много!!!

Бил Гейц - Хакер, Университетов Не Кончал, Программы для ЭВМ писать Без Ошибок не умеет - Не Оьучен???

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

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

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

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

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

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

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

Свободные Языки Программирования для ЭВМ и Интернет: Hava, C, РНР, Pascal, Java-Cкрипт.

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

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

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

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

Русский Структурный ПсевдоКод - Главный Ключ к ЕГЭ и Олимпиадам по Информатике и ИКТ в России.

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

Экзамены на ЭВМ по информатике в Московских Школах и Вузах проводятся с 1983 года в МАТИ и в МИЭМ.

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

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

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

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

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

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

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

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

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

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

Компьютеры и Интернет Во Всех Школах и Вузах в России с 2007г. и в Казахстане с 2000г.

Языки Бейсик и Паскаль с ПсевдоКодом в учебниках информатики Каймина, Угриновича и Шауцковой.


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

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

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

Тысячи студентов в МИЭМ сдали экзамены по информатике и программированию на ЭВМ с 1981г.

Для обучения студентов МИЭМ используются методы структурного доказательного программирования.

Структурный Доказательные Методы Разработки Программ апробированы в Космическом Проекте Буран.

Экзамены по Информатике на ЭВМ сдавали успешно все студенты и школьники в МАТИ с 1994 по 199гг.

Тысячи студентов МИЭМ успешно сдавали и сдают экзамены по информатике и программированию с 1981г.

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

ЕГЭ - Единые Гос. Экзамены - Гос. Приемка Знаний у всех Выпускников всех школ России.

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

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

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

10 тысяч школьников Москвы в 120 школах при МАТИ шесть лет успешно сдавали экзамены информатики на ЭВМ.

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

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

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

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

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

ДОКАЗАТЕЛЬСТВА Правильности опираются на математическую семантику алгоритмов и программ./ ВАК,1095.

Математическая семантика алгоритмов и программ с примерами изложена в базовых учебниках информатики.

Технологии Доказательного Программирования - разработка алгоритмов и программ для ЭВМ без ошибок.

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

Дефектное ПО - программы, которые содержат ошибки,дефекты, дают сбои и отказы при работе на ЭВМ.

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

ПО с дефектами согласно Законам РФ "О Защите прав потребителей" подлежат замене либо возврату денег???

ВИКИ-Педия объявила Цензуру на "Доказательное Программирование" - это же Фашистская Диктатура???

Позор ВИКИ-педикам - Цензура науки??? - такого не было при фашизме и сталинизме???

Ершол - ПсеводЯзык для записи Алгоритмов без ЭВМ под пробный учебник информатики Ершова.

Провал ЕГЭ по информатике и ИКТ - 90% школьников из 600 в Москве получили двойки по вине МИОО и ФИПИ: рук.Семенов.

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

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

В.А.Каймин - Лауреат Конкурсов Лучших Учебников Информатики, 1987 и 1998гг., Россия, СССР.

ВАКаймин - разработчик ПО для Системы ПРО СССР,1969-72гг. и бортового ПО для Ракеты Буран,1984-88гг.

(С) ВАКаймин, проф., док.комп.наук WDU при МАИ при ООН , 1985-2020.