Автор:
В.А.Каймин, профессор, доктор наук
БАЗОВЫЙ УЧЕБНИК ИНФОРМАТИКИ
для студентов, школьников
и в поступающих вузы,
а также для углубленного изучения и подготовки
к зачетам и экзаменам по информатике на ЭВМ.
Соответствует российским стандартам
курса "Информатика" ,
рекомендованных Министерством образования РФ в 2000г,
и международным стандартам
рекомендованным ЮНЕСКО в 2006г.
Рекомендуется для подготовки
к зачетам и экзаменам
по информатике в вузах и школах, а также для подготовки
к
олимпиадам и чемпионатам
по информатике и программированию .
Компьютерный практикум с офисными пакетами программ
и элементами Интернет-технологий может проводиться на ЭВМ
с Операционными Системами
Linux и
Windows по выбору.
ДЛя решения задач на ЭВМ применяется
технология доказательного программирования
с составлением алгоритмов на псевдокоде, используемом победителями и призерами
международных
чемпионатов и олимпиад по информатике и программированию.
Оглавление
ВВЕДЕНИЕ
-
ИНФОРМАЦИЯ И ПЕРСОНАЛЬНЫЕ ЭВМ
-
Введение в информатику.
-
Персональные компьютеры.
-
Работа на персональных ЭВМ.
-
Редактирование текстов на ЭВМ.
-
Обучение с помощью ЭВМ.
-
ЭЛЕМЕНТЫ ИНТЕРНЕТ-ТЕХНОЛОГИЙ
-
Работа в сети Интернет.
-
Поиск информации в Интернет.
-
Электронная почта.
-
Электронная коммерция.
-
Создание сайтов в Интернет.
-
Язык гипертекстов HTML.
-
ЭЛЕМЕНТЫ ИНФОРМАЦИОННЫХ ТЕХНОЛОГИЙ
-
Базы данных на ЭВМ.
-
Элементы математической логики.
-
Принципы логического вывода.
-
Базы знаний на ЭВМ.
-
Законы логического вывода.
-
РЕШЕНИЕ ЗАДАЧ НА ЭВМ
-
Выполнение расчетов на ЭВМ.
-
Постановка и решение задач.
-
Основные свойства алгоритмов.
-
Базовые средства программирования.
-
Основы структурного программирования.
- Средства обрабоки данных.
- Кодирование алгоритмов на Паскале.
-
ТЕХНОЛОГИЯ РЕШЕНИЯ ЗАДАЧ
-
Решение задач на ЭВМ.
-
Анализ правильности алгоритмов.
-
Решение прикладных задач.
-
Элементы доказательного программирования.
-
Решение сложных задач.
-
ЭКЗАМЕНЫ ПО ИНФОРМАТИКЕ
-
Экзамены и зачеты на ЭВМ.
-
Решение экзаменационных задач.
-
Проверка программ на ЭВМ.
-
Олимпиадные задачи по информатике.
-
Чемпионат мира по программированию.
-
Технология дистанционного обучения.
ИНТЕРПРЕТАТОР ПРОЛОГА
СПИСОК ЛИТЕРАТУРЫ
ИНТЕРНЕТ-ИСТОЧНИКИ
Технология доказательного программирования
- технология разработки программ без ошибок
с использованием псевдокода, тестов, ин спекции и доказательства отсутствия ошибок в программах.
Традиционно количество ошибок в программмах заранее неизвестно.
Поэтому заранее неизвестна продолжительность отладки программ на ЭВМ.
Гарантии отсутствия ошибок в программах дает только доказательства
их правильности. Доказательства правильности стоит писать только после
тестирования программ на ЭВМ.
В настоящем учебнике информатики все примеры алгоритмов и программ
приведены с доказательствами их правильности и проверены на ЭВМ.
Для победы на олимипиадах по информатике и программированию студенты
и школьники должны научиться составлять алгоритмы и программмы ьез ошибок.
Все победители олимпиад и чемпионатов по информатике и программмированию
составляют свои алгоритмы и программмы без ошибок и становятся
победителями и призерами
международных
чемпионатов и олимпиад по информатике и программированию.
Все школы России по
Национальному приоритетном проекту "Образование"
получили компьютеры и доступ к сети Интернет.
Решением Правительства РФ все школы России получили базовые пакеты программ
по информатике и информационным технологиями на базе Windows и Linux.
Автор
В.А.Каймин,
профессор, доктор компьютерных наук,магистр права,
академик Международной Академии Информатизации, вице-президент WDU.
Авторские Права:
Copyright [C], BAK, 2001-08.
All rihgts reserved.
Все права защищены согласно международного и российского авторского права.
При использовании материалов ссылки на сайт обязательны.
Никакая часть настоящего пособия не может воспроизводится
без письменного согласия авторов и научных редакторов
ни в письменной, ни в электронной форме.