Курсова робота
З дисципліни:
В«ІнформатикаВ»
Тема:
В«Застосування алгебри висловлювань в інформатиціВ»
Омськ 2011
Введення
Тема теоретичної частини курсової роботи: Застосування алгебри висловлювань в інформатиці. Алгебра висловлювань є складовою частиною одного з сучасних швидко розвиваються розділів математики - математичної логіки. Математична логіка застосовується в інформатиці, дозволяє моделювати найпростіші розумові процеси. Одним з цікавих додатків алгебри висловлювань - рішення логічних задач. p align="justify"> У логічних завданнях вихідними даними є не тільки і не стільки числа, а складні логічні судження, часом вельми заплутані. Ці судження і зв'язки між ними бувають іноді настільки суперечливі, що для їх вирішення залучають обчислювальні машини. p align="justify"> Для вирішення економічної задачі в практичній частині було обрано середовище табличного процесора MS Excel.
У Microsoft Office Excel є засобом для створення електронних таблиць, які володіють можливостями для проведення простих розрахунків, як з використанням арифметичних дій, так і за допомогою вбудованих функцій; для побудови різних типів діаграм; для оформлення отриманих таблиць і т.д.
Так само MS Excel програма, яка не потребує знань програмування і проста у використанні для пошуку результату нашої задачі.
1. Теоретична частина
1.1 Застосування алгебри висловлювань в інформатиці
Серед завдань, для вирішення яких залучають комп'ютер, чимало таких, які прийнято називати логічними. Людина вдається до логіки, коли становить розкладу, розплутує суперечливі показання або складає інструкції. p align="justify"> Логіка - наука про правильне мислення, яка регламентує форми і методи інтелектуальної пізнавальної діяльності, формализуемой за допомогою мови.
Одна з головних завдань логіки - визначити, як прийти до висновку з передумов. Логіка слугує базовим інструментом майже будь-якої науки. Засновником логіки вважають Сократа. Пізніше з логіки стала виділятися самостійна частина - математична логіка, вивчає підстави математики і принципи побудови математичних теорій. p align="justify"> Сократ з Афін (469-399 до н.е.) - знаменитий античний філософ, учитель Платона, втілений ідеал справжнього мудреця в історичній пам'яті людства. Вчення Сократа було усним; весь вільний час він проводив у бесідах з приїжджими та місцевими громадянами, політиками і обивателями, друзями і незнайомими на різні теми, н...
