Details
| Title | Математическая логика: учебное пособие для спо. — Математическая логика, Весь срок охраны авторского права |
|---|---|
| Creators | Афанасьев, С. Г. |
| Imprint | Саратов, Москва: Профобразование, Ай Пи Ар Медиа, 2024 |
| Collection | ЭБС "PROFобразование" ; Общая коллекция |
| Subjects | математическая логика ; алгебра высказываний ; исчисление высказываний ; алгебра предикатов ; рассуждение |
| UDC | 510.6 |
| LBC | 22.12 |
| Document type | Tutorial |
| Language | Russian |
| Rights | Весь срок охраны авторского права; Доступ по паролю из сети Интернет (чтение) |
| Record key | RU2fPROFSPO2f142588 |
| Record create date | 9/10/2026 |
Учебное пособие содержит основные понятия, формулы и законы алгебры высказываний, исчисления высказываний, алгебры предикатов и рассуждений. Наряду со словесно-повествовательным характером изложения материала используется условная символика математического языка. Подготовлено в соответствии с Федеральным государственным образовательным стандартом среднего профессионального образования. Предназначено для студентов укрупненной группы профессий и специальностей «Информатика и вычислительная техника» и укрупненной группы специальностей «Информационная безопасность», изучающих дисциплины «Дискретная математика с элементами математической логики», «Элементы математической логики», «Дискретная математика».
...
