Харин Н.Н. Математическая логика и теория множеств

формат djvu
размер 2.38 МБ
добавлен 04 июня 2011 г.

М.: Росвузиздат, 1963. - 192 с.

Настоящая работа имеет своей целью показать, что одной из важнейших закономерностей в развитии современной математики является взаимодействие абстрактного и конкретного, что развитие математики отражает развитие объективной действительности, носит диалектический характер. Отсюда следует, что познание сущности математических понятий предполагает диалектико-материалистический подход, так как математика - наука о количественных отношениях и пространственных формах объективного мира. Только такой подход дает возможность глубоко усвоить математику и плодотворно применять ее в решении задач современной науки и техники.

Похожие разделы

Смотрите также

Галуев Г.А. Математическая логика и теория алгоритмов

формат pdf
размер 855.08 КБ
добавлен 27 ноября 2010 г.

Учебно-методическое пособие. - Таганрог: Изд-во ТРТУ, 2003. - 65 с. В настоящем пособии изложены основные законы и теоремы математической логики, лежащей в основе современной теории алгоритмов, а также задачи по теории множеств. Пособие предназначено для изучения лекционных курсов "Математическая логика и теория алгоритмов" студентам специальности 07500. Подготовлено на кафедре безопасности информационных технологий ТРТУ.

Ершов Ю.Л., Палютин Е.А. Математическая логика

формат pdf
размер 11.76 МБ
добавлен 25 ноября 2011 г.

М.: Наука, 1987. - 336 с. В книге изложены основные классические исчисления математической логики: исчисление высказываний и исчисление предикатов; имеется краткое изложение основных понятий теории множеств и теории алгоритмов. Ряд разделов книги — теория моделей и теория доказательств — изложены более подробно, чем это предусмотрено программой. Для студентов математических специальностей вузов. Может служить пособием для спецкурсов.

Ершов Ю.Л., Палютин Е.А. Математическая логика: Учеб. пособие для вузов

формат djvu
размер 5.22 МБ
добавлен 28 декабря 2008 г.

В книге изложены основные классические исчисления математической логики: исчисление высказываний и исчисление предикатов; имеется краткое изложение основных понятий теории множеств и теории алгоритмов. Ряд разделов книги — теория моделей и теория доказательств — изложены более подробно, чем это предусмотрено программой. Для студентов математических специальностей вузов. Может служить пособием для спецкурсов.

Зюзьков В.М., Шелупанов А.А. Математическая логика и теория алгоритмов

формат pdf
размер 1.73 МБ
добавлен 16 апреля 2010 г.

ТУСУР, 2001, 154с. Томский межвузовский центр дистанционного образования (ТУСУР). Содержание: Основы теории множеств. Логика высказываний. Булевы алгебры. Логика предикатов. Исчисления. Теория алгоритмов. Логические парадоксы. Многозначные логики.

Кожухов И.Б. Математическая логика и теория алгоритмов: Учебное пособие

формат doc, htm
размер 7.33 МБ
добавлен 04 июня 2011 г.

Кожухов И. Б. Математическая логика и теория алгоритмов: Учебное пособие, Москва - МГУ, 2004. 148 с. Пособие включает классические разделы математической логики (исчисление высказываний, элементы теории моделей), теории алго-ритмов (машины Тьюринга и вычислительные функции), а также осно-вания теории множеств

Колмогоров А.Н, Драгалин А.Г. Математическая логика (Введение в математическую логику + Математическая логика. Дополнительные главы)

формат djvu
размер 3.34 МБ
добавлен 23 января 2010 г.

М.: КомКнига, 2006. - 240 с. Классический университетский учебник. В настоящее издание включены учебники А. Н. Колмогорова и А. Г. Драгалина «Введение в математическую логику» и «Математическая логика. Дополнительные главы», содержащие классическое изложение понятий и результатов математической логики с элементами теории множеств, теории алгоритмов и оснований математики. А. Н. Колмогоров (1903-1987) и А. Г. Драгалин (1941-1998) — выдающиеся...

Лавров И.А., Максимова Л.Л. Задачи по теории множеств, математической логике и теории алгоритмов

формат djvu
размер 2.52 МБ
добавлен 30 декабря 2008 г.

3 изд. , 1995. В книге систематически изложены основы теории множеств, математической логики и теории алгоритмов в форме задач. Книга предназначена для активного изучения математической логики и смежных с ней наук. Состоит из трех частей: «Теория множеств», «Математическая логика» и «Теория алгоритмов». Задачи снабжены указаниями и ответами. Все необходимые определения сформулированы в кратких теоретических введениях к каждому параграфу. Сборник...

Лавров И.А., Максимова Л.Л. Задачи по теории множеств, математической логике и теории алгоритмов

формат djvu
размер 1.64 МБ
добавлен 23 августа 2010 г.

4-е изд., Издательство: Физматлит, Год: 2004. - 256 с. Качество: хорошее. Аннотация: В книге в форме задач систематически изложены основы теории множеств, математической логики и теории алгоритмов. Книга предназначена для активного изучения математической логики и смежных с ней наук. Состоит из трех частей: «Теория множеств», «Математическая логика» и «Теория алгоритмов». Задачи снабжены указаниями и ответами. Все необходимые определения сформули...

Маркин П.М. Математическая логика

формат doc
размер 1.22 МБ
добавлен 04 января 2012 г.

Лекции по курсу. - Москва: РГУИТП, 2006. - 62с. Математическая (теоретическая, символьная) логика – нормативная наука о формах и приемах интеллектуальной познавательной деятельности, осуществляемой с помощью искусственных (формальных и формализованных) языков. Иначе, математическая логика – анализ рассуждений (в первую очередь, их формы, а не содержания). Основными разделами математической логики является: логика высказываний, логика предикатов,...

Миронов А.М. Математическая логика

формат pdf
размер 704.77 КБ
добавлен 29 апреля 2010 г.

Содержание. Высказывания. Формулы логики высказываний. Анализ рассуждений. Метод резолюций для ЛВ. Введению в теорию множеств. Отношения и функции. Основные результаты теории множество. Логика предикатов. Теорема Эрбрана. Метод резолюций для ЛП. Семантический вывод. Теорема Геделя. Модальная логика. Нечеткие логики.