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

В ВиКи-Педии как Интернет-Энциклопедии Отсутствуют Разделы "Компьютерные Науки" и "Компьютерное Право".

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

Цели и Задачи Информатики в Школах:
1) Минимум - Компьютерная Грамотность
2) Максимум - Информационная Культура
3) Базис - Логика и Развитие Мышления

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

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

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

ИНФОРМАТИКА - Наука о Накоплении, обработки и передачи информации в ЭВМ, компьютерах и сети Интернет.

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

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

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

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

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

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

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

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

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

Машинный Интеллект - в системах Яндекс, Google и Bing - поиск инормации в Интернет.

ЕГЭ - Единые Гос.Экзамены - Гос.Приемка Знаний у всех Выпускников всех школ России.

ЗНАНИЯ - достоверные сведения о людях, вещах, событиях, фактах и процессах в природе и обществе.

БАЗЫ ЗНАНИЙ ЭВМ - совокупность фактов и правил логического вывода в конкретных предметных областях.

Науки Юношей питают и Старцам Мудрость придают. Михайло Ломоносов. основатель МГУ.

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

СМИ - Системы Машинного Интеллекта - поисковики - Яндекс, Google, Bing и системы безопасности Windows.

Системы Машинного Интеллекта - Базы Знаний + Системы вывода и поиска информации в Базах Знаний.

IQ - уровень развития Интеллекта - ЕГЭ по русски - Знания Основ Информатики, Логики и Наук.

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

Инженерия Знаний - Проектирование, Создание и обновление Баз Знаний на ЭВМ и в сети Интернет.

Интелектов Виды - Искусственный, Естественный, Машинный и Искусные Интелекты.

ЕГЭ меньше 35 баллов по Информатике и ИКТ - двоешник и дебил???

Для Подготовки к ЕГЭ нужны Базовые Учебники, соответвующие Стандартам и Требованиям ЕГЭ.

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

БАЗЫ ЗНАНИЙ в ЭВМ - совокупность фактов и правил логического вывода в конкретных предметных областях.

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

ЗНАНИЯ - достоверные сведения о людях, вещах, событиях, фактах и процессах в природе и обществе.

Язык Исчисления Высказываний = язык запросов SQL к Базам Данных на ЭВМ со связками "И","ИЛИ","НЕ".

BASE - Открытая Реляционная База Данных для домашних и офисных компьютеров с ОС WIndows и Linux.

Язык ПРОЛОГ = язык логического программирования предикатов, исполняемыми над базами данных и знаний на ЭВМ.

Информация - достоверна, если она соответствует действительности. Недостоверная - Ложь, достоверная - Истина.

ВИКИ-педии - это электронные циклопедии с недостоверными сведениями и изъятыми первоисточниками.

См.ВИКИпедии и ее клоны - дырки вместо "Компьютерного Права" и "Доказательного программирования".

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

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

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

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



Hosted by uCoz