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

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

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

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

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

Методы Разработки Программм:
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) Проектирование ТЗ и Подсистем
2) Разработка Алгоритмов и Программ
3) Тестирование и испытания Подсистем
4) Опыт и Эксплуатация: Взлет и Посадка
5) Результаты Проекта "Буран" и Космос

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

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

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

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

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

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

Базовые Электронные Учебники Информатики для Вузов и Школ:
1) ответствуют стандартам Образования
2) соответствуют Требованиям ЕГЭ
3) Проверка Знаний в Интернет
4) подготовка к Экзаменам на ЭВМ

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

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

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

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

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

Открытое ПО - Вузы и Школы в России:
1)МИЭМ,Студенты-Программисты, 2001г
2) МПГУ, Студенты-Технологи, 2004г.
3) ИНЭП, Студенты-Экономисты, 2007г.
4) Все Учителя-Информатики, 2009г.

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

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


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

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

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

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

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

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

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

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


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

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

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

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

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

Содержание курса отражает мировые стандарты Интернет-технологий Web-программирования.

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

Компьютерное Право - Авторские Права, Защита Информации и Компьютерная Безопасность в Интернет и на ЭВМ.

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

Состав Открытого ПО: Свободные Браузеры, Открытый Офис, Технологии Линукс, Открытый Инструментарий.

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

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

ПРОГРАММА КУРСА:

1. Язык гипертекстов HTML
2. Основы Web-Программирования
3. Язык скриптов JavaScriprt
4. Клиент-серверные Технологии
5. Языки Web-Программирования
6. Серверные Базы Данных
7. База Данных mySQL.

В Яндекс введите запрос "доказательное программирование" - получите массу материалов и информации.

В Гугл на запрос "доказательное программирование" - получите "дырку" с "бубликом" вместо информации.

Курс завершается Интернет-проектами и вручением сертификатов ЮНЕСКО/WDU "Web-Программист".

Обучение разработчиков в WDU проводится с использованием программных средств Open Source.

ЯНДЕКС: загрузите бпаузер FireF0x-Яндекс на свои компьютеры через Интернет прямо сейчас.

Язык JavaScript - мировой стандарт программирования для интерактивных Интернет-сайтов.

Интерпретаторы JavaScript встроены во все браузеры на всех персональных компьютерах во всем мире.

60% ПО в мире написано на языке JavaScript - языке нипертекстового программирования для Интернет-сайтов.

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

Для обучения Web-Программированию используются программные средства Open Source технологии LAMP.

Технология LAMP = система Linux + сервер Appache + база данных MySQL + язык программирования PHP.

Программные средства технологии LAMP установлены на 2/3 Интернет-серверов в мире.

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

Для подготовки разработчиков и менеджеров Интернет-проектов и корпоративных систем по программам:

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

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

Авторы:
В.А.Каймин, профессор, доктор наук (PhD), академик МАИ
Г.А.Розанов, магистр компьютерных наук (Master of Computer Science)

Copyright [C], WDU, 2002-09.
All rihgts reserved.