С892 Судоплатов, С. В. Математическая логика и теория алгоритмов : Учеб. для вузов по напр. 654600 Информатика и выч. техника, 654700 Информационные системы, 540200 Физ.-мат. образование / С.В. Судоплатов, Е.В. Овчинникова ; НГТУ. - М., Новосибирск : ИНФРА-М, Изд-во НГТУ, 2004. - 224 с. - (Высшее образование). - ISBN 5778204582. - ISBN 5160019758 : 63.58 р.
Кл.слова (ненормированные): логика -- математическая логика -- исчисления предикатов -- теории моделей -- теории алгоритмов -- неклассические логики -- учебники Доп.точки доступа: Овчинникова, Е.В. Учебная литература: ЭтФ / ЭВС / 11.05.01 / Математическая логика и теория графов / 3 / Осн ЭтФ / СИ / 09.03.04 / Логика и теория алгоритмов / 5 / Осн Экземпляры всего: 40 аб (38), чз (2) Свободны: аб (38), чз (2) |
И889 Исследования по неклассическим логикам : VI Советско-финский коллоквиум / Ин-т философии АН СССР, Акад. наук ГССР ; Отв. ред. В. А. Смирнов. - Москва : Наука, 1989. - 350 с. - Б. ц.
Рубрики: Логика--Исследования Кл.слова (ненормированные): неклассические логики -- научные исследования -- коллоквиумы Доп.точки доступа: Смирнов, В. А. \ред.\; Академия наук СССР. Институт философииАкадемия наук Грузинской ССР (Тбилиси) Экземпляры всего: 1 чз (1) Свободны: чз (1) |
И889 Исследования по теории множеств и неклассическим логикам : [сборник статей] / Всесоюз. ин-т науч. и техн. информ. ; отв. ред. Д. А. Бочвар, В. Н. Гришин. - Москва : Наука, 1976. - 328 с. ; 20 см. - 3900 экз.. - (в пер.) : 1.00 р.
Кл.слова (ненормированные): неклассические логики -- теория множеств -- теория алгоритмов -- сборники статей Доп.точки доступа: Бочвар, Д. А. \ред.\; Гришин, В. Н. \ред.\; Всесоюзный институт научной и технической информации Экземпляры всего: 1 кх (1) Свободны: кх (1) |