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

«Уфимский государственный нефтяной технический университет»

Факультет автоматизации производственных процессов

Кафедра вычислительной техники и инженерной кибернетики

Реферат на тему:

ЛОГИЧЕСКИЕ ОСНОВЫ КОМПЬЮТЕРА.

ПЕРЕКЛЮЧАТЕЛЬНЫЕ ФУНКЦИИ

Студентки группы БАГ 12-01:

Айдарбековой Д.Р.

Преподаватель:

Габдуллина А.А.

Уфа 2013

Содержание:

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

Глава 1. Логические основы компьютера………………..................5

1. Этапы развития математической логики……………………….…..5

2. Вклад Дж.Буля в развитие математической логики…………….…8

3. Основные понятия алгебры логики………………………………....11

4. Основные законы и тождества алгебры логики……………...........15

Глава 2. Элементы теории переключательных функций..………….18

2.1. Переключательные функции одного аргумента…………………….18

2.2. Переключательные функции двух аргументов…………………...…19

2.3. Представление переключательной функции в виде многочленов…22

2.4. Представление переключательной функции в виде полинома Жегалкина………………………………………………………………….….23

Заключение……………………………………………………………………24

Введение.

Логика – это наука, изучающая формы и законы мышления, закономерности мыслительного процесса. Слово «логика» произошло от греческого logos, что означает слово, понятие, рассуждение, разум. Законы и правила формальной логики необходимо знать для построения правильных рассуждений. Логические знания чрезвычайно важны для повышения эффективности мыслительной деятельности человека и предотвращения логических ошибок. Согласно основному принципу логики, правильность рассуждения (вывода) определяется только его логической формой (структурой) и не зависит от конкретного содержания входящих в него утверждений. Например, рассуждения «Все люди смертны. Сократ – человек. Следовательно, Сократ смертен» и «Все металлы электропроводны. Медь – металл. Следовательно, медь электропроводна» имеют одинаковую логическую структуру, называемую силлогизмом. Отличительная особенность правильного вывода состоит в том, что из истинных исходных утверждений всегда получаются истинные заключения. Это позволяет из одних истин получать другие с помощью только рассуждения, разума и без обращения к опыту.

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

В своем развитии логика прошла ряд этапов. Современную логику часто называют символической или математической логикой.

Основой цифровой техники служат три логические операции, лежащие в основе всех выводов компьютера. Иногда эти операции И, ИЛИ, НЕ называют "тремя китами машинной логики". Любая цифровая вычислительная машина состоит из логических схем - таких схем, которые могут находиться только в одном из двух возможных состояний - либо "логический ноль", либо "логическая единица". За логический 0 и логическую 1 можно принять любое выражение, в том числе и словесное, которое можно характеризовать как "истина" и "ложь". В вычислительной технике логические 0 и 1 - это состояние электрических схем с определенными параметрами. Так, для логических элементов и схем, выполненных по технологии транзисторно-транзисторной логики (ТТЛ-схемы), логический 0 - это напряжение в диапазоне 0 … + 0,4 В, а логическая 1 - это напряжение в диапазоне + 2,4 … + 5 В [1]. Работа логических схем описывается посредством специального математического аппарата, который называется логической (булевой) алгеброй или алгеброй логики. Булева алгебра была разработана Джорджем Булем (1815 - 1864 гг.), она является основой всех методов упрощения булевых выражений.