Книга – дар бесценный!
Неуклонное развитие технических дисциплин, лежащих в основе научно-преподавательской деятельности ДонНТУ, получило новое научное и практическое подтверждение: вышла в свет монография «Обоснование тетралогики как неклассической объективной логики с информационной семантикой» (2020), подготовленная кандидатом технических наук, доцентом кафедры компьютерной инженерии Сергеем Васильевичем Иваницей.
Работа посвящена рассмотрению основополагающих принципов и основных свойств четырехзначной логики – тетралогики, – в качестве одного из представителей неклассической объективной логики с информационной семантикой. Детально описаны все тонкости построения логической системы, выполнена классификация тетрафункций, приведен и доказан ряд свойств и законов алгебры тетралогики.
Сотрудники научно-технической библиотеки выражают искреннюю благодарность автору монографии за ценный вклад в пополнение библиотечного фонда и уверены, что воплощение разработок ученых вуза в технологические и промышленные процессы отраслей ДНР обеспечит их надежную работу, а студенты, магистранты и аспиранты, специализирующиеся в области компьютерных наук и технологий, будут востребованы на производстве как высококлассные специалисты.
Изданий, подаренных библиотеке С. В. Иваницей, уже свыше 15-ти, большая часть из них была написана автором за последние пять лет.
Надеемся, что, в преддверии 100-летнего юбилея ДонНТУ, С. В. Иваница примет участие в конкурсе «Лучшее издание ДОННТУ», а победа всегда за активными и творческими людьми.
Ознакомиться с изданиями можно в НТБ ДонНТУ (3 учебный корпус).