Игошин В. И. Математическая логика / Игошин Владимир Иванович. - Москва: ИНФРА-М, 2023. - 399 с. - (Высшее образование: Бакалавриат). - Список лит.: с. 307. - ISBN 978-5-16-011691-4.Гриф: УМО вузов РФ по образованию в области подготовки педагогических кадров Отраслевые рубрики: логика, математика, математическая логика, философские науки Ключевые слова: аксиоматические теории, алгебра высказываний, булевы функции, высказывания, дедукция, кванторные операции, логика предикатов, логическая равносильность, логические операции, логическое программирование, логическое следование, метод резолюции, мощность множеств, нормальные формы, полнота, предикаты, проблема разрешения выполнимости, проблема разрешения общезначимости, Пролог, равносильные преобразования формул, система аксиом, тавтология, теория формального вывода, формализованные исчисления высказываний, формальные аксиоматические теории Условия доступа:
ЭБС ZNANIUM Доступ по логину и паролю. Доступ до 31.12.2024.
|