ОБЩОБЪЛГАРСКА КОРЕСПОНДЕНЦИЯ ФИНАНСОВО-СТОПАНСКА
ОТДЕЛ АВТОМАТИЗИРАНА ОБРАБОТКА
по дисциплина "Информатика"
на тема"Приложение на пропозиционалната алгебра в компютърните науки"
Винковатова Ирина Александровна
специалност: Финанси и кредит
Записна книга номер 05FFB03175
Татяна Владимировна Валуева
1. Уводна страница 3
2. Теоретична част стр. 5
3. Практическа част стр. 18
4. Списък с литература стр. 24
В темата: „Приложение на пропозиционалната алгебра в компютърните науки“ ще разгледаме въпроси като какво е логическа алгебра, функция в логическата алгебра (и нейните примери), ще разгледаме процесорното устройство. И също така ще решим проблема:в счетоводния отдел на предприятието Gamma LLC се извършва изчисляването на данъчните облекчения, предоставени на служителите, и формирането на ведомости за заплати. На всеки служител се предоставя стандартно данъчно приспадане в размер на 400,00 RUB. докато общият доход от началото на годината надвишава 50 000,00 рубли, се предоставя данъчно облекчение за дете в размер на 600,00 рубли. Данък върху доходите на физическите лица - данъкът върху доходите на физическите лица (13%) се изчислява от начислената сума минус сумата на данъчното приспадане,в която се изисква да се съставят таблици; изчислете размера на данъчното приспадане, предоставено на служителите през текущия месец, и резултатите от тези изчисленияприсъства под формата на таблица; формуляр и попълнете формуляра на ведомостта за текущия месец и представете резултатите от изчислението в графична форма.
Завърших курсовата си работа и я форматирах с помощта на:
-GPU- инструменти, които ви позволяват да създавате и променяте графични изображения с помощта на илюстративни, търговски и научни графики. В работата си използвах търговски (бизнес) графики, които осигуряват показване на информация, съхранена в електронни таблици, кръгова диаграма и др. и научна графика, предназначена за проектиране на научни изчисления, съдържащи формули.
Компютрите и другите цифрови електронни устройства работят в строго съответствие с ясни логически закони, тъй като компютрите са автоматични устройства, чиито принципи се основават на елементарните закони на двоичната логика. Познаването и разбирането на тези закони помага при общуването с компютъра.
За да илюстрираме, разгледайте следния пример:нещастен бизнесмен подаде жалба до компютърна компания за закупен компютър. Според бизнесмена компютърът не е отговорил правилно на поставените въпроси. Специалист, който пристигна да провери жалбата, предложи на бизнесмена да демонстрира един от грешните отговори. Той поиска да се покаже списък с клиенти, живеещи в щатите Тенеси и Кентъки, на което компютърът обяви, че няма такива. "Ще видиш!" - възмути се бизнесменът. „И знам със сигурност, че има много клиенти и в двата щата!“ Консултантът се опита да обясни, че машината е права по свой начин и че човек не може да живее в двете състояния едновременно. Консултантът повтори искането, като замени единствената дума (списък на клиенти, които живеят в Тенеси ИЛИКентъки) и половин минута по-късно предаде разпечатка на искания списък.
Основната причина за възникналото любопитство е непознаването на трите основни логически операции, които са в основата на всички компютърни изходи: И, ИЛИ, НЕ.
При писане на логически изрази се използва специален език, който е възприет в математическата логика. Основателят на математическата логика (математическа дисциплина, която изучава техниката на доказване) е немският математикГотфрид Вилхелм Лайбниц.Той прави опит да изгради универсален език, с който би било модерно да се решават спорове между хората чрез изчисления. Върху основата, положена от Лайбниц, ирландският математикДжордж Булизгради сградата на нова наука - математическата логика - която, за разлика от обикновената алгебра, работи не
числа, но твърдения. В чест на Boole логическите променливи в езика за програмиране Pascal по-късно бяха наречени booleans.
Твърдение е всяко твърдение, за което може да се каже, че е вярно или невярно, тоест дали отговаря на реалността или не. По този начин изразите са двоични обекти и следователно истинската стойност на израза е присвоена 1, а невярната стойност е 0.
Твърденията могат да бъдат прости или сложни. Простите съответстват на алгебрични променливи, а сложните са аналогични на алгебрични функции.
Най-простите операции в алгебрата на логиката салогическо събиране(в противен случай операция ИЛИ, операция на дизюнкция) илогическо умножение(в противен случай операция И, операция на свързване). Символите + или \/ се използват за обозначаване на операцията на логическо събиране, а символите * или /\ се използват за логическо умножение. Съставен израз, образуван в резултат на операциялогическото добавяне е вярно, ако поне едно от простите твърдения, включени в него, е вярно. Съставно твърдение, образувано в резултат на операцията логическо умножение, е вярно тогава и само ако всички прости твърдения, включени в него, са верни.
Правилата за извършване на операции в алгебрата на логиката се определят от редица аксиоми, теореми и следствия.
По-специално, за алгебрата на логиката важат следните закони:
|