Скорубский В. И. Математическая логика: учебник и практикум для академического бакалавриата / Скорубский Владимир Иванович, Поляков Владимир Иванович, Зыков Анатолий Геннадьевич. - Москва: Юрайт, 2020. - 211 с. - (Бакалавр. Академический курс). - ISBN 978-5-534-01114-2.Отраслевые рубрики: математика, математическая логика Ключевые слова: алгебра логики, булева алгебра, верификация, вероятностная логика, высказывания, интервальная логика Аллена, исчисление высказываний, Квайна метод, логика, логика высказываний, логика предикатов, логический вывод, логическое программирование, неклассическая логика, нечеткая логика, предикаты, Пролог, темпоральная логика Условия доступа:
ЭБС ЮРАЙТ Доступ по логину и паролю. Доступ до 07.02.2024.
|