Логика в Информатике

ЛОГИКА в ИНФОРМАТИКЕ -новый раздел в содержании и курсе информатики в соответствии с требованиями и спецификациями ЕГЭ - Единых госэкзаменов по информатике.

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

С логикой в курсе информатике учащиеся встречаются при работе и запросах информации в Интернет, базах данных, при составлении алгоритмов и программ для ЭВМ, при изучении логических элементов и блоков ЭВМ.

Во всех этих подразделах курса информатики используются логические связки "И", "ИЛИ", "НЕ", которые появляются в высказываниях, суждениях, рассуждениях и доказательствах - в исчислении высказываний - логики высказываний Аристотеля. Пролог и логическое программирование.

ВАКаймин,профессор, доктор компьютерных наук, магистр права,
автор школьных и вузовских учебников информатики:
1) Каймин. Информатика. Учебник для студентов. М.. ИНФРА-М,2009.
2) Каймин.Информатика. Учебник для школьнков М.,Проспект, 2009.
3) Каймин. Информатика, Пособие к экзаменам. М.,РИОР, 2007.
ИНОРМАТИКА в ШКОЛАХ и ВУЗАХ

Учебники информатики и пакеты Открытого ПО по изучению логики и подготовке к экзаменам по информатике можно заказать и получить через Интернет.

Открытое ПО для Школ и Вузов

Открытое ПО - это Открытое Программное обеспечение для персональных компьютеров, включающее более 10 тысяч программ для ЭВМ.
Linux и Открытое ПО

В число Открытых программ входят:
1) открытый браузер ФайерФокс,
2) Открытый Офисный пакет,
3) Открытая ОС Линукс,
4) Открытые Базы данных,
5) Открытые редакторы Текстов,
6) Открытые Электронные Таблицы,
7) Открытый Бейсик,
8) Свободный Паскаль
и много других открытых пакетов программ для школ, вузов, офисов и корпораций.
Открытое ПО может свободно устанавливаться и использоваться дома, в школах, вузах и офисах для учебного и делового использования на персональных ЭВМ с защитой от компьютерных вирусов и компьютерных взломов.

В 2007г. были выпущены учебники информатики для Компьютерного Всеобуча над Открытым ПО для студентов вузов, поступающих в вузы, учителей информатики и подготовки к ЕГЭ и вступительным экзаменам по информатике.

ВАКаймин,профессор,доктор компьютерных наук, магистр права.
Технологии Линукс и Открытое ПО

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

Литература по Открытому ПО.

Пакет Открытого ПО.

Инновации в Образовании

Инновации в образовании - компьютеры с доступом к Интернет и электронными досками для демонстрации интерактивных сайтов и интерактивных программ.
Интерактивные программы на ЭВМ - это различные игры, тренажеры, модели, обучающие программы и пакеты программ для персональных ЭВМ.
Электронные доски можно использовать для видео-лекций, видео-курсов и видео-конференцсвязи для дистанционного обучения.
Открытое ПО для изучения информатики и информационных технологий в вузах и школах.

Инновационные технологии в образовании.

Инновации в Информатике и ИКТ

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

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

Пакет Открытого ПО для Образования.

Литература по Открытому ПО для Образования.