Основания математики. Математическая логика
Математическая логика, Р. Л. Гудстейн
Страниц: 160
Год издания: 2010
Язык: Русский
Широкое использование математической логики в области математических машин и в других областях математики и техники приводит ко все возрастающему интересу к математической логике как среди математиков ...
Элементы теории множеств, А. Г. Порошкин
Страниц: 64
Год издания: 2011
Язык: Русский
В настоящем пособии даются первоначальные сведения по теории множеств, знание которых необходимо студентам-математикам при изучении таких дисциплин, как математический анализ, топология, функциональны ...
Прикладная логика, С. В. Попов, Н. Л. Брошкова
Разделы: Основания математики. Математическая логика, Основания математики. Математическая логика. Теория чисел
Страниц: 216
Год издания: 2011
Язык: Русский
Логический формализм рассматривается как инструмент для формулировки и решения содержательных задач. Анализируются его два аспекта: семантический — установление выполнимости логических функций — и син ...