Математическая логика, задачник-практикум для студентов физико-математического факультета

Bibliografske podrobnosti
Glavni avtor:	Троякова Г. А.
Drugi avtorji:	Монгуш А. С.
Izvleček:	Задачник-практикум предназначен для студентов педагогических университетов, изучающих математическую логику. Внимание уделено четырем разделам: алгебра логики, исчисление высказываний, логика предикатов, математические теории. Задачник-практикум написан в соответствии со стандартами 2016 года для математических специальностей. Книга из коллекции ТувГУ - Математика
Izdano:	Кызыл, ТувГУ, 2018
Teme:	алгебра логики дизъюнктивная нормальная форма конъюнктивная нормальная форма релейно-контактные схемы логические задачи исчисление высказываний правила вывода логика предикатов математические теории теорема геделя
Online dostop:	https://e.lanbook.com/book/156191 https://e.lanbook.com/img/cover/book/156191.jpg
Format:	Elektronski Knjiga

Internet