Пример готового реферата по предмету: Информатика
Содержание.
ВВЕДЕНИЕ 3
1. ПОНЯТИЕ ЛОГИКИ КАК НАУКИ И ОСОБЕННОСТИ АЛГЕБРЫ ЛОГИКИ 5
2. ПРИНЦИПЫ ПОСТРОЕНИЯ ФОРМАЛЬНЫХ ТЕОРИЙ 8
3. ЛОГИЧЕСКИЕ ОПЕРАЦИИ И ТАБЛИЦЫ ИСТИННОСТИ. 10
3.1 Конъюнкция 10
3.2 Дизъюнкция 11
3.3 Альтернатива 11
3.4 Импликация 12
3.5 Эквивалентность 13
3.6 Инверсия 13
4. ЛОГИЧЕСКИЕ ФОРМУЛЫ И ФУНКЦИИ. ЗАКОНЫ АЛГЕБРЫ ЛОГИКИ. 15
4.1 Понятие логической формулы 15
4.1 Понятие логической функции 15
4.3 Основные законы алгебры логики 17
ЗАКЛЮЧЕНИЕ 19
СПИСОК ИСПОЛЬЗОВАННЫХ ИСТОЧНИКОВ 21
Содержание
Выдержка из текста
Методологической основой для исследования послужили научные труды отечественных авторов таких как: Аладышкин И.В, Алексеев В.В., Артюхович Ю.В., Веретенников Б.М., Верещагин Н.К., Гусев Д.А., Ефимов Д.Б. и др.
В быту мы часто используем слова «логика», «логично». Логика (от древнегреческого λογικος — «наука о рассуждении») – это наука о том, как правильно рассуждать, делать выводы, доказывать утверждения.
У истоков математической логики стоял великий Лейбниц. В момент возникновения эта наука была умозрительной, доступной только узкому кругу ученых. Так было до того момента, когда в XIX веке англичанин Джордж Буль пошел на спор, что создаст науку, совершенно оторванную от действительности и не имеющую ни малейшего практического применения. Он превратил математическую логику в алгебру суждений.
Основные законы алгебры логики были изобретены с целью дать выражение основных начал рассуждения, «законов мышления»; но с чисто формальной точки зрения, которая свойственна математике, можно рассматривать это исчисление, как алгебру, основанную на некоторых произвольно установленных началах.Джордж Буль расширил представление о взаимосвязи между логикой и математикой, и доказал, что логика, в первую очередь, математическая наука, а затем уже философская.
Правила построения схем на контактной и бесконтактной элементной базе по уравнениям алгебры логики. Синтез преобразователей кода на основе дешифратора.
Данное пособие дает основные навыки по применению основных аксиом и законов алгебры логики в ТДУ, что позволяет в конечном итоге реализовывать схемы дискретных устройств наиболее оптимальным образом.
На принципах математической логики строятся основные логические элементы, входящие в структуру современных компьютерных микропроцессорных систем и цифровых вычислительных машин, используемых практически во всей деятельности человека как управляющего звена в системе «Человек — среда — машина».
Использование математических методов формирует так называемый математический стиль мышления, т.е. абстрактный, логический, идеально строгий и – самое главное – нацеленный на поиск закономерностей. Профессионал, грамотно и аккуратно применяющий математические методы, способен принести пользу в любой сфере деятельности.
СПИСОК ИСПОЛЬЗОВАННЫХ ИСТОЧНИКОВ
1. Аладышкин И.В., Мичурин А.Н., Сидорчук И.В., Ульянова С.Б. История науки и техники. Учебное пособие. Под ред. С.В. Кулика, С.Б. Ульяновой. — СПб.: Изд-во Политехнического университета, 2015. — 143 с.
2. Алексеев В.В. Элементы алгебры логики. Методическое пособие. — Саров: СарФТИ, 2015. — 74 с.
3. Артюхович Ю.В., Кленина Е.А. и др. Основы логики: теоретический и практический курс. — Волгоград: ВолгГТУ, 2015. — 128 с.
4. Веретенников Б.М. и др. Дискретная математика. Часть
1. Учебное пособие. – Екатеринбург: Изд-во Урал. ун-та, 2014. – 132 с.
5. Верещагин Н.К., Шень А. Лекции по математической логике и теории алгоритмов. Часть
1. Начала теории множеств.4-е изд., доп. — М.: МЦНМО, 2012. — 112 c.
6. Геут Кр. Л., Коновалова С.С., Титов С.С. Дискретная математика. Учебное пособие. — Екатеринбург: УрГУПС, 2015. — 112 с.
7. Гусев Д.А. Логика. Учебное пособие. — М.: Прометей, 2015. — 300 с.
8. Ефимов Д.Б., Полещиков С.М. Математическая логика и теория алгоритмов. Учебное пособие. — Сыктывкар : СЛИ, 2012. — 100 с.
9. Игошин В.И. Математическая логика + CD-R. Учебное пособие. — М.: Инфра-М, 2016. — 399 с.
10. Плескунов М.А. Основы формальной логики. Учебное пособие. – Екатеринбург: Изд-во Урал, ун-та, 2014. – 168 с.
список литературы
