">) = 4)
r 1 A 1 r 1 A 6 r 2 A 5 a 4 14a 1 34
Висновок
В результаті виконаної роботи, били закріплені практичні навички вирішення завдань з математичної логіки. Було вирішено 2 варіанти завдань з математичної логіки і обчисленню висловлювань, математичній логіці і обчисленню предикатів, реляційної логіці. br/>
Література
1) Игошин, В.І. Математична логіка і теорія алгоритмів: Учеб. посібник для вузів [Текст]/В.І. Игошин. - М.: Академія, 2004 р.
