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

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

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

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

Примеры Отказов - Зависания Компьютеров, ОС Виндуз и Интернет-Магазинов.

НеПравильные Результы - противерчия требованиям поставленных задач.

Победители Чемпионата Мира-2010 по Программированию:
1) ШУ, Шанхай, Китай
2) МГУ, Москва,Россия
4) КиевГУ, Украина
5) ПетроЗаводскГУ
7) Самарский ГУ
9) ПетерБургский ГУ

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

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

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

Подготовка к Олимпиадам Информатики:
1) Базовые Учебники по Информатике
2) Базовые Пакеты Открытого ПО
3) Базовые Интернет-Порталы на Яндекс
4) Базовые Средства Программирования

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

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

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

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

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

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

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

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

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

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

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

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

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

МЕДВЕДЕВ: Олимпиады и Инновации в Информационных Технологиях в Интернет.

Интернет и Основные Конституционные Права:
1) Свобода Слова
2) Свобода Печати
3) Свобода Веры
4) Свобода Собраний

Базовые Интернет-Технологии на Яндекс:
1) Интернет-Сайты и Блоги
2) Интернет-Форумы и Тесты
3) Интернет-Деньги и Чеки
4) Интернет-Безопасность

Все 100% Школ России оснащены Компьютерами, Интернет и Базовыми Пакетами Открытого ПО.

Открытые Интернет-Олимпиады по Программирования - Модель ЕГЭ по Информатике на ЭВМ.

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

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

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

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

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

Яблочный и Медовый Спас - Спасение Русских и Россиян от Вымирания и Шоковой Терапии из США.

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

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

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

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

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

WDU: Языки Гипер-Текстов и Java-Скриптов - Мировые Стандарты - есть на всех компьютерах в Мире.

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

Свободные Браузеры - Безопасность Компьютеров и Защита Информации на ЭВМ. Установка через Интернет.

Дефектное Клозедное Американское ПО для безопасности Страны нужно будет совсем выкинуть.

Примеры Открытого ПО в Интернет - Все Программы на языках гипертекстов HTML и скриптов на Java-Script.

WDU: Языки Гипер-Текстов и Java-Скриптов - Мировые Стандарты - есть на всех компьютерах в Мире.

Олимпиады и Экзамены на ЭВМ по информатике в Москве и в Московских Школах проводятся с 1984г.

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

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

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

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

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

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

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

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

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

МЕДВЕДЕВ поздравил Чемпионов Мира-2009 с победой на Чемпионате Мира по Программированию.

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

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

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

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

Все участники Олимпиад по информатике успешно сдают ЕГЭ по Информатике и ИКТ, решая задачи на ЭВМ.

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

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

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

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

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

Победители Олимпиад по информатике составляют программы без ошибок и принимаются в вузы без экзаменов.

Все участники российских олимпиад по информатике получают Серификаты ЕГЭ и зачисляются в вузы на специальности:
1. Вычислительная Техника.
2. Прикладная Математика.
3. Информационные Технологии
4. Информационная Безопасность
и 12 других комп.специальностей

Российские студенты и школьники систематически - победители олимпиад по информатике и программированию.

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

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

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

АНАЛИЗ Правильности Программ опирается на математическую семантику Структурированных Алгоритмов.

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

Аксиомы программирования (Каймин):
1) Число ошибок в программах неизвестно??
2) Продолжительность отладки неизвестна??
3) Нет ошибок??? требуются доказательства!
В Основах Логики - Законы Аристотеля.

Участники Олимпиад по информатике сдают ЕГЭ по информатике и ИКТ для поступления в вузы дистанционно через Интернет.

ЕГЭ: Для подготовки к ЕГЭ и олимпиадам по информатике - базовые учебники для студентов и абитуриентов.

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

Базовые учебники Каймина можно с пакетами Открытого ПО для домашних ЭВМ с Windows и Linux.

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

ДОКАЗАТЕЛЬНОЕ Программирование - разработка программ без ошибок с доказательствами правильности.

Техника доказательства правильности алгоритмов и программ изложена в учебниках информатики Каймина.

Вопросы анализа правильности алгоритмов и программ включены в стандарты и ЕГЭ по информатике./ 10.05.2009.

В стандарты и ЕГЭ по информатике входят логика, алгоритмы, программы и анализ правильности программ.

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

Главная Причина Провалов ЕГЭ - НеЗнание Базовых Учебников Информатики для студентов и абитуриентов.

Учебники информатики Каймина и пакеты Открытого ПО можно найти и заказать через Интернет.

Программный продукт - это программы без дефектов и ошибок согласно Закону РФ "О защите прав потребителей".

Закрытые программы - не продукт, если они дают сбои или отказы при работе на ЭВМ.

Российские студенты и школьники систематически становятся победителями олимпиад по информатике и программированию.

Студенческая команда СПбГУ ИТМО -в третий раз подряд Чемпион Мира по Программированию-2009 /22.04.2009.

4 российских команд - Петербурга, Саратова, Барнаула вошли в 10-ку лучших в мира. /22.04.2009.

МЕЖДУНАРОДНЫЕ ОЛИМПИАДЫ с 2006г. проводятся в системе Linux с языками Pascal, C/C++ и Java.

См. ДИСКУССИИ о причинах поражения американских команд на форумах МГУ - Московском Университете /2005-2006гг.

Текст учебников информатики Каймина можно найти в Интернет.

ВИДЕО-КОНФЕРЕНЦСВЯЗЬ - Технология Дистанционного Обучения.

ВИКИИ-Пелия ввела Цензуру на материалы и первоисточники по информатике и доказательному программированию.

90% школьников России отказались от сдачи ЕГЭ по Информатике и ИКТ из-за Ершола Кушниренко.

Ершол Кушниренко - язык псевдопрограммирования и написания программ для ЭВМ без ЭВМ???

Главные Виновники Провалов ЕГЭ - сотрудники МИОО и ФиПи - Семенов и Кириенко с их ошибками и дефектами КИМов.

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

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

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

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


ВАКаймин,проф.,док.комп.наук WDU при МАИ при ООН, автор базовых учебников для вузов и школ
(С) В.А.Каймин, 2003-2020.