різних цифрових пристроїв, які з кожною секундою з'являються все нові і нові, і стають все інтелектуальнішим і інтелектуальнішим.
Мета даної курсової була досягнута.
У роботи вирішені всі поставлені завдання, такі як, ознайомлення з алгеброю висловлювань і обчисленням висловлювань, розгляд алгебри предикатів і числення предикатів, вивчення реляційної алгебри.
У ході роботи над курсовою роботою була вивчена наукова і навчальна література по темі «Математична логіка і теорія алгоритмів» і вивчені матеріали Інтернет-ресурсів.
Література
) Олькіна Є. В. Методичні вказівки з оформлення пояснювальних записок до дипломних, курсових проектів (робіт) і звітів по практикам відповідно до вимог державних стандартів./Є. В. Олькіна.- Орел: Поліграфічна база ОрёлГТУ, 2011. - 54с.- 50 екз.
) Пономарьов В.Ф. Математична логіка. частина 1. Логіка висловлювань. Логіка предикатів. Навчальний посібник ./ [Текст] В.Ф. Пономарьов - Калінінград: КДТУ, 2009. - 140с.
3) Пономарьов В.Ф. Математична логіка. частина 2. Логіка реляційна. Логіка нечітка. Навчальний посібник./В.Ф. Пономарьов - Калінінград: КДТУ, 2011.
