Курсовая работа: Применение алгебры высказываний в информатике

ВСЕРОССИЙСКИЙ ЗАОЧНЫЙ ФИНАНСОВО-ЭКОНОМИЧЕСКИЙ

ИНСТИТУТ

КАФЕДРА АВТОМАТИЗИРОВАННОЙ ОБРАБОТКИ

ЭКОНОМИЧЕСКОЙ ИНФОРМАЦИ

КУРСОВАЯ РАБОТА

по дисциплине «Информатика»

на тему «Применение алгебры высказываний в информатике»

Исполнитель:

Винковатова Ирина Александровна

специальность: Финансы и кредит

№ зачётной книжки 05ФФБ03175

Руководитель:

Валуева Татьяна Владимировна

Калуга - 2006

Оглавление.

1. Введение стр. 3

2. Теоретическая часть стр. 5

3. Практическая часть стр. 18

4. Список используемой литературы стр. 24

Введение.

В теме: «Применение алгебры высказываний в информатике» мы рассмотрим такие вопросы как, что такое алгебра логики, функция в алгебре логики (и её примеры), рассмотрим устройство процессора. А также решим задачу: в бухгалтерии предприятия ООО «Гамма» производится расчёт налоговых вычетов, предоставляемых сотрудникам, и формирование платёжных ведомостей. Стандартный налоговый вычет предоставляется каждому сотруднику в размере 400,00 руб. до тех пор, пока совокупный доход с начала года не превысит 50 000,00 руб., налоговый вычет на ребёнка предоставляется в размере 600,00 руб. НДФЛ – налог на доходы физических лиц (13%) рассчитывается с начисленной суммы за минусом размера налогового вычета, в которой требуется построить таблицы; выполнить расчёт размера налогового вычета, предоставляемого сотрудникам в текущем месяце и результаты этих вычислений представить в виде таблицы; сформировать и заполнить форму расчётной ведомости по заработной плате за текущий месяц и результаты расчёта представить в графическом виде.

Свою курсовую я выполнила и оформила с помощью:

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

-графического процессора – инструментальные средства, позволяющие создавать и модифицировать графические образы с использованием иллюстративной, коммерческой и научной графики. В свое работе я использовала коммерческую (деловую) графику, которая обеспечивает отображение информации, хранящейся в табличных процессорах, круговой диаграммы и т.д. и научную графику, предназначенную для оформления научных расчётов, содержащих формулы.

-табличного процессора – комплекс программных средств, реализующих создание, регистрацию, редактирование, хранение и обработку электронных таблиц и выдачу их на печать. Электронная таблица – это двумерный массив строк и столбцов, размещённый в памяти ЭВМ. Широкое распространение получили такие табличные процессоры, как SuperCalk, Visicalk, Lotus 1-2-3, QuattroPro. Для Windowsбыл создан процессор Excel, который я и использовала при написании работы. Основной единицей электронной таблицы является рабочий лист, имеющий имя, где он располагается. Ширина столбца и высота строки даются по умолчанию. Однако имеется возможность форматирования ячейки, столбца, строки, листа. Можно изменить стиль текста, что позволяет улучшить внешний вид документа без применения текстового редактора. Данные в виде чисел, текста или формул вводятся в ту ячейку, которая отмечена текстовым курсором.. редактирование таблиц позволяет копировать, удалять, очищать ячейку, блок, лист и выполнять другие функции, перечисленные в меню действий «правка» и «вставка». При выполнении всех функций в процессоре Excelможно использовать многооконную систему, позволяющую выполнять параллельные действия. Все объекты, созданные пользователем (сформированные таблицы, выборки из БД, диаграммы и графики), можно сохранить на диске, в виде файла или распечатать.

Теоретическая часть .

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

Для иллюстрации рассмотрим следующий пример: один незадачливый бизнесмен подал в компьютерную фирму жалобу на приобретённый компьютер. По словам бизнесмена, компьютер неверно отвечал на поставленные вопросы. Прибывший для проверки жалобы специалист предложил бизнесмену продемонстрировать один из ошибочных ответов. Тот потребовал вывести список клиентов, проживающих в штатах Теннеси и Кентукки, на что компьютер объявил, что таковых не имеется. «Вот видите!» - кипятился бизнесмен. – «А я точно знаю, что и в том, и в другом штате есть множество клиентов!». Консультант попытался объяснить, что машина по-своему права и что человек не может жить одновременно в обоих штатах. Консультант повторил запрос, заменив единственное слово (список клиентов, проживающих в штатах Теннеси ИЛИ Кентукки), и через полминуты вручил распечатку требуемого списка.

Главной причиной возникшего курьёза послужило незнание трёх основных логических операций, лежащих в основе всех выводов компьютера: И, ИЛИ, НЕ.

При записи логических выражений используется специальный язык, который принят в математической логике. Основоположником математической логики (математической дисциплины, изучающей технику доказательств) является немецкий математик Готфрид Вильгельм Лейбниц. Он сделал попытку построить универсальный язык, с помощью которого споры между людьми модно было бы решать посредством вычислений. На заложенном Лейбницем фундаменте ирландский математик Джордж Буль построил здание новой науки – математической логики, - которая в отличии от обычной алгебры оперирует не

--> ЧИТАТЬ ПОЛНОСТЬЮ <--