У М34 Математическая логика и теория алгоритмов [Электронный ресурс] : учеб.-метод. комплекс по дисц. для спец. 010101 Математика; 010501 - Прикладная математика / АмГУ, ФМиИ ; сост. Н. В. Кван. - Благовещенск : Изд-во Амур. гос. ун-та, 2007. - 205 с. - Б. ц. Рубрики: Математическая логика--теория алгоритмов Кл.слова (ненормированные): алгебра логики -- булевы функции -- исчисление высказываний -- логика предикатов -- математические теории -- основы теории алгоритмов Перейти: http://irbis.amursu.ru/DigitalLibrary/AmurSU_Edition/617.pdf Доп.точки доступа: Кван, Наталья Владимировна \сост.\; Амурский государственный университет. Факультет математики и информатики Экземпляры всего: 1 эл. б-ка АмГУ (1) Свободны: эл. б-ка АмГУ (1) |