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

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

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

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

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

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

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

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

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

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

ОСНОВЫ ЛОГИКИ и принципы логического программирования с использованием языка ПРОЛОГ.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

СОДЕРЖАНИЕ:

1. Элементы Математической логики
2. Элементы языка Пролог
3. Принципы логического вывода
4. интерпретатор языка Пролога
5. Базы Знаний на ЭВМ
6. Процедуры Логического Вывода
7. Логические Процедуры
8. Графические Процедуры
9. Рекурсия в Прологе
10. Экспертные Системы
11. Общие Законы Логики

Принципы тестирования знаний по учебникам информатики - на Видео-Блоге Президента РФ Дм.Медведева.

РЕШЕНА Проблема Тьюринга "Может ли машина мыслить?": Машины могут давать осмысленные ответы. /10.05.2009.

Интерпретатор языка Пролог был разработан для IBM PC и всех отечественных школьных ЭВМ.

Подробности в ИТ-Педии в разделах "Логическое Программирование" и "Логика в информатике".

ЗАДАЧАМ преподавания информатики в школах и вузах в наибольшей мере подходит Семантический Web-Prolog.

SWI-Prolog является программной системой Open Source и распространяется по лицензии

ПРОЛОГ - Зворыкинский Инвестиционный Проект поддержки русскоязычной системы логического программирования.

ВИДЕО-Конференцсвязь - Технология Дистанционного Обучения.

ИНВЕСТИЦИИ под инновационные проекты на Зворыкинском инновационном портале.

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

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

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

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

ФизМатШколу МИЭМ создали Каймин и Тарасов для подготовки школьников в Вузы
в 1966г.
АВТОРЫ:
Каймин В.А., проф., док.комп.наук, вице-президент WDU
Каймин С.В., разработчик интерпретатора Пролога