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

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

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

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


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

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

Полное тестирование программ на ЭВМ
1) Проверка Всех Ветвей
2) Проверка Всех Альтернатив
3) Провера Всех Модулей
4) Проверка Всех Циклов 2-3 раза

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

ЕСКД стандарты разработки надежных изделий и программ для ЭВМ, Интернет и Корпораций.

ЕСПД - стандарты документирования программ для для ЕС ЭВМ и Обмана ВПК СССР.

Стратегии Разработки ИТ-Проектов:
1) Каскадная Разработка Программ
2) Спиральное Развитие Комплексов
4) Надежная разработка по ЕСКД

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

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

Надежное Проект. Надежных Программ
1) Космический Проект "Буран"
2) Проектирование ТЗ и Подсистем
2) Разработка Алгоритмов и Программ
3) Тестирование и испытания Подсистем
4) Опыт и Эксплуатация: Взлет и Посадка
5) Результаты Проекта "Буран" и Космос

Критерии Управления Проектами:
1) Сроки, 2) Кчество 3) Бюджет

Проект - Успешен, если он выполнен
1) в Срок, 2) Качественно, 3) в Рамках Бюджета

Проект - Не Успешен, если он выполнен
1) с нарушением сроков
2) плохого качества
3) сорван бюджет

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

60% программистов в мире ведут разработки Java-Скриптов в форме открытых программ на Интернет-серверах.

JavaСкрипт - Язык Открытых Программ:
1) 1) JavaScript - Мировой Стандарт
2) JavaScript Во Всех Браузерах в Мире
3) JavaСкрипты на Всех Компьютерах
4) JavaСкрипты доступны Всем в Мире

Инструментарий Интернет-Проектов:
1) Java-Скрипты
2) РНР-Скрипты
3) Языки С/C++
4) Язык Java

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

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

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

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

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

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

Надежность Машин, Компьютеров и ПО:
1) Безотказность
2) Ремонтопригодность
3) Безопасность
4) Живучесть

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

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

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

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

Бил гейтс - Хакер, Университетов Не Кончал, Программ Без ошибок писать Не Умеет - Не Обучен???

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

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

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

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

Логика в Информатике - Исчисление Высказываний и Поиск Информации в Базах Данных, в Яндексе м Google.

ЕГЭ-2010: Сдача ЕГЭ по Информатике, физике или обществознанию гарантирует поступление в Вузы России.

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

Открытое ПО для Информатики на ЭВМ - Открытый Офис, Свободный Паскаль и Браузеры Опера и ФаерФокс.

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

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

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

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

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

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

Ершол - Алгоритмический для информатики без компьютеров отсутствует во всех учебниках информатики.

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

МЕДВЕДЕВ: Информатика может и должна сдаваться на компьютерах и ЭВМ в Windows или Linux.

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

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

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

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

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

Алгоритмизация - Разработка Алгоритмов и Программ для решения Задач обработки данных на ЭВМ.

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

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

Алгоритм (Программа) не содержит ошибок, если он дает правильные результаты для всех допустимых данных.

ПСЕВДОКОД - был создан и реализован в корпорации IBM для документирования Программного Обеспечения в ИБМ.

ПСЕВДОКОД - Язык записи алгоритмов и документирования программ для ЭВМ на языках Бейсик,, Паскаль, Си.

Псевдокод (ИБМ, Каймин):
1. действия, операции и операторы
2. многоальтернативные действия
3. циклы с выходами и пока-до
4. подпрограммы и алгоритмы
5. анализ правильности циклов.

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

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

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

990% из 600 школьников Москвы получили двойки на пробных ЕГЭ по информатике и ИКТ в 2009г. в МФЮА.

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

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

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

ВАКаймин, проф., док.комп.наук WDU при МАИ при ООН,
автор учебников по программированию, 1983-20010.