Математика: математическая логика и теория алгоритмов учебник и практикум для спо
| Main Author: | |
|---|---|
| Other Authors: | |
| Summary: | URL: https://urait.ru/bcode/566184 (дата обращения: 27.08.2025). В учебнике последовательно приведены такие элементы математической логики, как исчисления высказываний, логика и исчисления предикатов, элементы теории моделей, элементы теории алгоритмов, неклассические логики. В конце каждой главы приведены задачи и упражнения для освоения пройденного материала, а в приложении даны задачи типового расчета. Основы математической логики и теории алгоритмов, излагаемые в учебнике, могут использоваться при изучении ряда профилирующих дисциплин для подготовки специалистов по информатике, вычислительной технике, прикладной математике, автоматике и автоматизированному управлению. |
| Published: |
Москва, Юрайт, 2025
|
| Edition: | 5-е изд. |
| Series: | Профессиональное образование |
| Subjects: | |
| Online Access: | https://urait.ru/bcode/566184 |
| Format: | Electronic Book |
| Physical Description: | 255 с |
|---|---|
| Summary: | URL: https://urait.ru/bcode/566184 (дата обращения: 27.08.2025). В учебнике последовательно приведены такие элементы математической логики, как исчисления высказываний, логика и исчисления предикатов, элементы теории моделей, элементы теории алгоритмов, неклассические логики. В конце каждой главы приведены задачи и упражнения для освоения пройденного материала, а в приложении даны задачи типового расчета. Основы математической логики и теории алгоритмов, излагаемые в учебнике, могут использоваться при изучении ряда профилирующих дисциплин для подготовки специалистов по информатике, вычислительной технике, прикладной математике, автоматике и автоматизированному управлению. |
| ISBN: | 978-5-534-10930-6 |