510Фундаментальные и общие проблемы математики. Основания математики, математическая логика
← назад
Свободный доступ
Ограниченный доступ
Автор: Гумерова Е. И.
Изд-во НГТУ
Настоящее пособие представляет собой сборник самостоятельных работ теоретического и практического характера разного уровня сложности. Пособие предназначено для организации самостоятельной работы учащихся, а также для обобщающего повторения.
Предпросмотр: Элементы логики в математике.pdf (0,3 Мб)
Автор: Пехтерева Л. В.
Изд-во НГТУ
В учебном пособии рассматриваются формы абстрактного познания: понятия, высказывания и умозаключения. Изучаются определения и свойства, особенности разных форм познания, возможные логические ошибки в определениях. Рассматриваются отношения между понятиями, их графические схемы, типы и классификация высказываний. Изучаются непосредственные умозаключения, способы доказательства и опровержение разных типов высказываний.
Предпросмотр: Элементы математической логики. 5 класс.pdf (0,3 Мб)
Автор: Ройзнер
В работе рассматриваются элементарные свойства (выразимые в языке первого порядка) групп автоморфизмов абелевых p-групп.
Автор: Рублев В. С.
ЯрГУ
Методические указания содержат варианты индивидуальных заданий по теме "Элементы комбинаторики" дисциплины "Основы дискретной математики", а также необходимый материал для самостоятельного изучения этой темы и выполнения индивидуального задания. Для качественного усвоения курса издание содержит подробные определения, примеры, иллюстрации и обоснования.
Предпросмотр: Элементы комбинаторики Методические указания .pdf (1,0 Мб)
Автор: Дурнев В. Г.
ЯрГУ
В учебном пособии излагаются основные понятия логики высказываний, исчисления высказываний, логики предикатов и исчисления предикатов. Оно может быть использовано при изучении дисциплин "Математическая логика", "Математическая логика и теория алгоритмов" и "Дискретная математика и математическая логика" (блок ОПД, ЕН), а также специальных дисциплин. Библиогр.: 50 назв.
Предпросмотр: Введение в математическую логику .pdf (1,2 Мб)