Год:
2013
Издательство:
Изд-во ВСГУТУ
ISSN/ISBN:
ББК:
22.12я73
Относится к ВУЗу(ам):
Каталоги:
Практикум содержит теоретический и практический материал содержательного изложения логики высказываний, использующее семантическое понятие истинностного значения, которое называется алгеброй высказываний. Предназначен для студентов направлений 010500.62 «Математическое обеспечение и администрирование информационных систем», 230100.62 «Информатика и вычислительная техника», 231000.62 «Программная инженерия», изучающих дисциплину «Математическая логика».