Министерство образования и науки Российской Федерации

Федеральное государственное бюджетное образовательное учреждение

высшего профессионального образования

Санкт-Петербургский государственный горный университет

Курсовая работа По дисциплине: Информатика

(наименование учебной дисциплины согласно учебному плану)

Пояснительная записка

Тема: «Математическая логика и анализ дискретных автоматов».

Автор: студент гр. АПМ-10-1 ____________ /Романовский Д.В./

(подпись) (Ф.И.О.)

ОЦЕНКА: _____________

Дата: ___________________

ПРОВЕРИЛ:

Руководитель работы: доцент ______________ /Певнева А.Г./

(должность) (подпись) (Ф.И.О.)

Санкт-Петербург

2011 г.

Аннотация

Данная курсовая работа по информатике содержит 4 основных части: теоретическая часть, формализация задачи, исходные данные и ход выполнения работы.

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

В разделе «формализация задачи» говорится о том, в чем заключается суть данной курсовой работы.

Исходные данные представляют из себя три таблицы, которые необходимо использовать в ходе курсовой работы.

В ходе выполнения работы подробно описывается реализация трех задач, которые необходимо выполнить.

Данная курсовая работа содержит библиографический список, состоящий из шести источников.

Оглавление

Аннотация 2

Оглавление 3

Введение 4

1. Теоретические сведения 5

1.1 Основы математической логики 5

1.1.1 Алгебра высказываний 5

1.1.2 Основные логические операции 5

1.1.3 Свойства логических операций 6

1.1.4 Логические переменные, функции алгебры логики 6

1.2 Приложения алгебры логики в технике 6

1.2.1 Описание комбинационных схем 7

1.2.2. Понятия и типы дискретных автоматов 7

1.2.3 Дискретные автоматы без памяти 7

1.2.4 Дискретные автоматы с памятью 8

1.3 Принцип работы логического сумматора 8

2. Формализация задачи 8

3. Исходные данные 9

4. Выполнение работы 10

4.1 Задача 1. Анализ схемы КС1 10

4.2 Задача 2. Анализ схемы КС2, заданной таблицей истинности 11

4.3 Задача 3. Анализ работы логического сумматора 13

Библиографический список 14

Введение

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

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