Математическая логика и теория алгоритмов учебник и практикум для вузов С. В. Судоплатов, Е. В. Овчинникова.
Material type: TextSeries: Высшее образованиеPublication details: Москва Юрайт 2023Description: 207 сSubject(s): Математика: общие работы | Математика, статистика и механика | Дискретная математика | Математическая логика и теория алгоритмов | Теория алгоритмов | Математическая логика | Математика. Дискретная математика | Введение в дискретную математику | Информатика, математическая логика и теория алгоритмов | Основы дискретной математики | Основы математической логикиOther classification: 22.12я73 Online resources: ЭБС Юрайт Summary: В учебнике последовательно приведены такие элементы математической логики, как исчисления высказываний, логика и исчисления предикатов, элементы теории моделей, элементы теории алгоритмов, неклассические логики. В конце каждой главы приведены задачи и упражнения для освоения пройденного материала, а в приложении даны задачи типового расчета. Основы математической логики и теории алгоритмов, излагаемые в учебнике, могут использоваться при изучении ряда профилирующих дисциплин для подготовки специалистов по информатике, вычислительной технике, прикладной математике, автоматике и автоматизированному управлению.URL: https://urait.ru/bcode/510826 (дата обращения: 28.01.2023).
В учебнике последовательно приведены такие элементы математической логики, как исчисления высказываний, логика и исчисления предикатов, элементы теории моделей, элементы теории алгоритмов, неклассические логики. В конце каждой главы приведены задачи и упражнения для освоения пройденного материала, а в приложении даны задачи типового расчета. Основы математической логики и теории алгоритмов, излагаемые в учебнике, могут использоваться при изучении ряда профилирующих дисциплин для подготовки специалистов по информатике, вычислительной технике, прикладной математике, автоматике и автоматизированному управлению.
There are no comments on this title.