Элементы математической логики в системах компьютерной математики

Гарист, В. Э.

dc.contributor.author	Гарист, В. Э.	ru
dc.coverage.spatial	Могилев	ru
dc.date.accessioned	2026-02-20T07:40:07Z
dc.date.available	2026-02-20T07:40:07Z
dc.date.issued	2026
dc.identifier.citation	Гарист, В. Э. Элементы математической логики в системах компьютерной математики / В. Э. Гарист // Преподавание математики в высшей школе и работа с одаренными студентами в современных условиях. Teaching mathematics in higher education and working with gifted students in contemporary context : материалы Междунар. науч.-практ. семинара, Могилев, 19 февр. 2026 г. / М-во образования Респ. Беларусь, М-во науки и высшего образования Рос. Федерации, Бел.-Рос. ун-т ; редкол.: М. Е. Лустенков (гл. ред.) [и др.]. – Могилев : Бел.-Рос. ун-т, 2026. – С. 26-30.	ru
dc.identifier.uri	http://e.biblio.bru.by/handle/1212121212/47652
dc.language.iso	ru	ru
dc.publisher	Белорусско-Российский университет	ru
dc.title	Элементы математической логики в системах компьютерной математики	ru
dc.type	Thesis	ru