Введение ………………………………….……………………………………… 3

Глава 1. Теоретическая часть ………………..…………………………………. 4

1.1. Применение алгебры высказываний в информатике ………………..…… 4

1.2. Применение теории графов в информатике ……………………………… 5

1.3. Основные структуры данных ……………………………………………… 7

1.4. Алгоритмы сортировки ………………………………………………….... 16

Глава 2. Практическая часть ………………………………………………..…. 19

Заключение ……………………………………………………………….…….. 22

Список литературы ………………………………………………………..…… 23

Темами исследований в информатике являются вопросы: что можно, а что нельзя реализовать в программах (теория вычислимости и искусственный интеллект), каким образом можно решать специфические задачи с максимальной эффективностью (алгоритмы), в каком виде следует хранить и восстанавливать информацию специфического вида (структуры данных), как программы и люди должны взаимодействовать друг с другом (пользовательский интерфейс и языки программирования).

Темой данной работы является "Теоретические основы информатики". Тема является очень актуальной, поскольку вся практическая деятельность в информатике фактически строится на теоретических математических моделях.

Целью работы является изучение теоретических основ информатики. В связи с поставленной целью были сформулированы следующие задачи:

- изучить применение алгебраических высказываний в информатике;

- изучить применение теории графов в информатике;

- изучить основные структуры данных;

- изучить алгоритмы сортировки.

Работа состоит из теоретической и практической части. Теоретическая часть решает все вышеизложенные задачи. Практическая часть сделана на базе программы Excel. Результаты представлены в виде отчета с подробным описанием проделанной работы.

1. Апокин И. А., Майстров Л. Е. История вычислительной техники: От простейших счетных приспособлений до сложных релейных систем. - М.: Наука, 2000.

2. Гладких Б. А. От абака до компьютера. - Томск: Изд-во НТЛ, 2005.

3. Гутер Р. С., Полунов Ю. Л. От абака до компьютера. - М.: Знание, 2001.

4. Кук Д., Бейз Г. Компьютерная математика. - М., Наука, 2000.

5. Марков А.А. Элементы математической логики. - М.: Изд-во МГУ, 2004.

6. Пойа Д. Математическое открытие. - М.: Наука, 2000.

7. Прилуцкий М.Х. Математические основы информатики. - Нижний Новгород: Нижег.гос.ун-т, 2000.

8. Симонович С., Евсеев Г., Алексеев А. Общая информатика. - М.: Дело, 1999.

9. Турецкий В.Я. Математика и информатика. - Екатеринбург: Пропаганда, 2002.

10. Фор Р., Кофман А., Дени-Папен М. Современная математика. - М.: Мир, 2006.

11. Частиков А. Архитекторы компьютерного мира. - СПб: БХВ-Петербург, 2002.

12. Шенфилд Дж. Математическая логика. - М.: Наука, 2005.

Примечаний нет.