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=МИЭМ

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

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


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

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

Нарушения ЕСКД и ошибки в программах - Основные Причины Гибели Спутников ГЛОНАС

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

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

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

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

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

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

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

Надежность Изделий и Программ для ЭВМ
1) Отказоустойчивость
2) Ремонтопригодность
3) Живучесть систем

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

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

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

Модернизация Информатики и Экономики:
1) отечественное ПО вместо Импортного ПО
2) Надежное ПО вместо дефектного Софта
3) Открытое ПО вместо Закрытого Софта

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Российские Интернет-Технологии:
1) Разработка Интернет-Сайтов
2) Управление Интернет-Проектами
3) Серверные технологии LAMP
4) Серверные Базы Данных mySQL

Базовые Учебники Информатики и Интернет-Технологий можно почитать и заказать через Интернет.

Типология ПО: Открытое ПО, Закрытое ПО, Свободное ПО, Коммерческое ПО, Дефектное ПО.

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

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


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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Основы Логики:
1) исчисление высказываний
2) исчисление предикатов
3) техника доказательств
4) доказательное программирование
В основе - Логика Аристотеля

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

СОДЕРЖАНИЕ КУРСА:
0. логика и техника доказательств
1. Разработка программ без ошибок
2. Структурное Проектирование Программ
3. Тестирование программ на ЭВМ
4. Верификация алгоритмов и программ
5. Победы на олимпиадах информатики
6. Доказательства правильности программ

Программный продукт - это программы без ошибок и дефектов. Программы с ошибками - это не продукт.

Анализ правильности программ опирается на математическую семантику структурированных алгоритмов.

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

Аксиомы Программирования (Каймин):
1) число ошибок в программах неизвестно?
2) продолжительность отладки неизвестна?
3) гарантии правильности - доказательства!

Анализ и доказательство правильности алгоритмов проводятся после тщательного тестирования программ на ЭВМ.

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

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

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

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

Подробности изложены в ИТ-Педии в разделах алгоритмизация и программирование для ЭВМ.

ТЕХНОЛОГИЯ отработана для разработки программ для персональнх компьютеров и бортовых ЭВМ.

Наиболее известный проект - разработка Бортового ПО для восмческого корабля Буран с бортовыми ЭВМ.

ВЕДУЩИЕ СПЕЦЫ Microsoft сообщают, что в Америке только 25% проектов завершаются успешно.

ПРИЧИНЫ НЕУСПЕХОВ - срыв сроков (25%), нехватка бюджета (25%), отказ заказчика (25%).

Основная причина неуспехов - чрезмерное число ошибок и дефектов в программах МикроСофт.

Зарплата в Майкрософт зависит от продолжительности отладки, а не от завершения отладки на ЭВМ.

Для подготовки разработчиков и архитекторов IT-проектов по магистерским программам WDU:

1) "Интернет-Технологии"
2) "Управление Проектами"
3) "Электронная Коммерция"
4) "Корпоративные Системы"

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

Яндекс - мировой лидер поисковых систем на русскос языке. На порядок лучше Гугл с семантическими дырами.

ЯНДЕКС на запрос "доказательное программирование" дает массу информации и материалов.

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

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

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

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

Авторы курса:
В.А.Каймин, профессор, доктор комп. наук, вице-президент WDU
А.М.Нечаев, профессор МИЭМ, кандидат тех. наук,

(С) WDU, 2003-2020.