ЮНЕ СКО / WDU: ОТКРЫТОЕ ПО в ОБРАЗОВАНИИ
WDU: ВСЕМИРНЫЙ РАСПРЕДЕЛЕННЫЙ УНИВЕРСИТЕТ
WDU: ТЕХНОЛОГИИ ДОКАЗАТЕЛЬНОГО ПРОГРАММИРОВАНИЯ
ВАК: БАЗОВЫЕ УЧЕБНИКИ ИНФОРМАТИКИ для ВУЗОВ и ШКОЛ
ВАК: ДОКАЗАТЕЛЬНОЕ ПРОГРАММИРОВАНИЕ
ВАК: ЕГЭ и ЭКЗАМЕНЫ ИНФОРМАТИКИ на ЭВМ
WDU: ОЛИМПИАДЫ по ИНФОРМАТИКЕ и ПРОГРАММИРОВАНИЮ
ВАК: МОДЕРНИЗАЦИЯ ИНФОРМАТИКИ
WDU: ЛОГИКА в ИНФОРМАТИКЕ
ВАК: ЛОГИКА и БАЗЫ ЗНАНИЙ
ВИКИПЕДИЯ: ЯЗЫКИ ПРОГРАММИРОВАНИЯ
МИКРОСОФТ: ПОИСК: ДОКАЗАТЕЛЬНОЕ ПРОГРАММИРОВАНИЕ
ИНФОРМАТИКА: АЛГОРИТМИЗАЦИЯ и ПРОГРАММИРОВАНИЕ
ВАК: ЛОГИКА в РАЗРАБОТКЕ ПРОГРАММ
ДИСКУССИЯ: ЛОГИКА и РИТОРИКА
ЕГЭ: ЛОГИКА и АЛГОРИТМИЗАЦИЯ в ИНФОРМАТИКЕ
ИНФОРМАТИКА: ПОДГОТОВКА к ЕГЭ
БИЗНЕС ЛУЖКОВА и БИЛЛА ГЕЙТСА
ГИБЕЛЬ СПУТНИКОВ И РАКЕТЫ РКК ЭНЕРГИЯ
ИНФОРМАТИКА и ДОКАЗАТЕЛЬНОЕ ПРОГРАММИРОВАНИЕ

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

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

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

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

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

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

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

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

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

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


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

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

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

Модернизация IT: Стандарты ЕСКД + Язык Рая=Псевдокод + Тестирование на базе Открытого ПО.

Стратегии Разработки ИТ-Проектов:
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) Провера Всех Модулей
4) Проверка Всех Циклов 2-3 раза

НеНадежность Изделий и Программ
1) наличие сбоев и отказов
2) невозможность ремонта
3) отказы после сбоев

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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


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

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

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

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

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

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

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

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

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

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

В основе обучения в МИЭМ, МАТИ и МАПИ - методы структурного доказательного программирования.

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

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

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

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

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

МЕДВЕДЕВ: ЕГЭ по ИНФОРМАТИКЕ должен сдаваться на компьютерах и в Windows и в Linux и в Интернет.

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

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

Логика и Основы Информатики:
1. Исчисление Высказываний. Аристотель
2.Логика в Базах Данных на ЭВМ.
3. Исчисление Предикатов. Робинсон.
4. Логика и Базы Знаний на ЭВМ.
4.Логика в Алгоритмизации для ЭВМ.
5. логика и Техника Доказательств.

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

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

В основе анализа - математическая семантика алгоритмов и программ для ЭВМ:
1) анализ результатов
2) постановка задач
3) анализ альтернатив
4) методы решения
5) анализ циклов
6) индуктивная логика
7) анализ алгоритмов
8) техника доказательств

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

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

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

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

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

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

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

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

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

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

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



Hosted by uCoz