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

СИСТЕМОТЕХНИКА: Проектирование. Разработка и Эксплуатация Больших Сложных Автоматизированных Систем

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) Доказательное Программирование

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

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

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

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

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

ЕСКД: Технология Разработок Программ
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) сорван бюджет

Супы: Системы Управления Проектами:
1) OpenProject
2) MSProject
3) Асоника УУУ

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

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

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

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

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

Обучение Программированию в Школах:
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-Скрипт

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

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

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

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

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

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

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

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

Информатика и ИКТ - Компьютерные Науки о использовании компьютеров, сетей ЭВМ и Интернет.

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

Дефектное ПО подлежит Замене или Возврату Денег по Законам О Защите Прав Потребителей в Росс и СНГ.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Программы для ЭВМ - наборы команд и данных для компьютеров, сетей ЭВМ и сети Интернет.

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

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

Экзамены Информатике на ЭВМ можно сдавать и в Windows и в Linux в Открытом и Штатном ПО.

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

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

Требования к Программам для ЭВМ - работоспособность, надежность, эффективность, мобильность.

Программы содержат ошибки, если они дают сбои, отказы или неправильные результаты. В.А.Каймин,1978.

Верификация программ - проверка правильности программ для ЭВМ на ЭВМ???

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

Тестирование программ - проверка программ для ЭВМ на ЭВМ на с помощью тестов и тест-драйверов.

Тестирование программ может выявить в них ошибки, но не может доказать их отсутствие. Дейкстра, 1989.

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

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

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

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

В основе - математическая семантика алгоритмов и программ на структурном псевдокоде. В.А.Каймин.

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

Основные виновники Провалов ЕГЭ в Москве - МиОО и ФИПИ - разработчики обучения ЕГЭ без практикума на ЭВМ.

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

Ершов и Кушниренко - обучение Алгоритмизации и Программированию на ЭВМ без ЭВМ??? Дурь - на всю страну???

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

В.А.Каймин, проф., док.комп.наук, автор учебников информатики и разработке программ. 1983-2010.



Hosted by uCoz