ИНФОРМАТИКА: ЛОГИКА и БАЗЫ ЗНАНИЙ на ЭВМ
В ВиКи-Педии как Интернет-Энциклопедии Отсутствуют Разделы "Компьютерные Науки" и "Компьютерное Право".
Содержание ЕГЭ по Информатике и ИКТ:
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.
|