Е80 Ершов, Юрий Леонидович. Математическая логика [] : учеб. пособие для студентов мат. специальностей высш. учеб. заведений / Ю. Л. Ершов, Е. А. Палютин ; [ред. В. В. Донченко]. - 2-е изд., испр. и доп. - М. : Наука, Гл. ред. физ.-мат. лит., 1987. - 236 с. - Предм. указ.: с. 335-336. - 0.95 р.
Рубрики: Математична логіка--Навчальні видання для вищої школи Кл.слова (ненормовані): исчисление высказываний -- числення висловів -- теория множеств -- теорія множин -- исчисление предикатов -- числення предикатів -- теория моделей -- теорія моделей -- теория доказательств -- теорія доказів -- алгоритмы -- алгоритми -- рекурсивные функции -- рекурсивні функкції Анотація: В книге изложены основные классические исчисления математической логики. Утримувачі документа: ЖОУНБ ім. О. Ольжича Дод.точки доступу: Палютин, Евгений Андреевич; Донченко, В. В. \ред.\ Примірників всього: 1 ЧЗ (1) Свободны: ЧЗ (1) |
К60 Колмогоров, Андрей Николаевич. Математическая логика. Дополнительные главы [] : учеб. пособие для студентов вузов, обучающихся по специальности "Математика" / А. Н. Колмогоров, А. Г. Драгалин. - М. : Изд-во Моск. ун-та, 1984. - 120 с. - Лит.: с. 119. - 0.25 р.
Рубрики: Матемиатична логіка--Навчальні видання для вищої школи Кл.слова (ненормовані): аксиоматическая теория множеств -- аксіоматична теорія множин -- теория алгоритмов -- теорія алгоритмів -- теория предикатов -- теорія предикатів -- теория доказательств -- теорія доказів -- теорема Геделя -- программа Гильберта -- програма Гільберта Анотація: В данном издании излагаются фундаментальные факты математической логики. Утримувачі документа: ЖОУНБ ім. О. Ольжича Дод.точки доступу: Драгалин, Альберт Григорьевич Примірників всього: 1 ЧЗ (1) Свободны: ЧЗ (1) |
М33 Матвієнко, Микола Павлович. Математична логіка та теорія алгоритмів [] : навч. посібник / М. П. Матвієнко, С. П. Шаповалов ; М-во освіти і науки України, Сум. держ. ун-т. - К. : Ліра-К, 2015. - 211, [1] с. : рис., табл. - Л-ра: с. 210-211. - ISBN 978-966-2609-74-5 : 92.00 грн, 100.00 грн
Рубрики: Математична логіка--Навчальні видання для вищої школи Алгоритмів теорія--Навчальні видання для вищої школи Кл.слова (ненормовані): класична математична логіка -- классическая математическая логика -- некласична математична логіка -- неклассическая математическая логика -- логіка висловлювань -- логика высказываний -- нечеткая логика -- нечітка логіка -- епістемічна логіка -- эпистемическая логика -- деонтична логіка -- інтуїціоністська логіка -- интуиционистская логика -- деонтичная логика -- методи логіки -- методы логики -- теорія алгоритмів -- теория алгоритмов -- модальна логіка -- модальная логика Анотація: Основні поняття і методи математичної логіки, а також основи теорії алгоритмів. Матеріал проілюстровано вправами та задачами. Утримувачі документа: ЖОУНБ ім. О. Ольжича Дод.точки доступу: Шаповалов, Сергій Павлович; Мііністерство освіти і науки УкраїниСумський державний університет Примірників всього: 2 ЧЗ (1), ФОНД (1) Свободны: ЧЗ (1), ФОНД (1) |