ZEOS

Ваш IP адрес: 34.204.198.244
Сегодня: 04.07.2020
18:57

Онлайн-библиотека учебно-методической литературы

Библиотека mirsmartbook.ru предлагает посетителям возможность чтения книг в режиме онлайн.
Книги, ГДЗ, решебники, готовые домашние задания, ЕГЭ, ГИА, наука и обучение, словари, все для преподавателей, школьников и студентов, русский язык, математика, физика, английский язык, алгебра, геометрия по всем классам, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11 класс. А ты НАШЁЛ то, что тебе нужно? У нас Вы сможете найти все!
Новости Контакты Главная
Открыть-Закрыть рекламный блок

Меню сайта

Счетчики



Мы вконтакте

Время учиться

Реклама

Введение в математическую логику / Колмогоров А.Н., Драгалин А.Г. / 1982


18:25
Введение в математическую логику / Колмогоров А.Н., Драгалин А.Г. / 1982
Аннотация: Введение в математическую логику, Колмогоров А.Н., Драгалин А.Г., 1982.

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


О КЛАССИФИКАЦИИ СУЖДЕНИЙ И ТЕОРИИ СИЛЛОГИЗМОВ ПО АРИСТОТЕЛЮ.
1. В качестве первого упражнения в употреблении понятий и обозначений математической логики и теории множеств изложим на современном языке фрагмент традиционной логики Аристотеля.

Традиционная логика имеет дело с понятиями. Понятия делятся на единичные и общие. Единичное понятие — это просто имя определенного предмета. Общее понятие по содержанию определяется указанием совокупности свойств, характеризующих подпадающие под него предметы. Класс предметов, обладающих этой характеристической совокупностью свойств, образует объем понятия.

Свойства предметов в математической логике называются одноместными предикатами. В этом параграфе мы будем иметь дело только с одноместными предикатами и называть их просто предикатами, обозначая буквами F, G, Н. Выска-зывательную форму «предмет х обладает свойством F» будем записывать в виде F (х). Например, если F есть свойство «быть четным числом», то высказывания F(10) и F(1000) истинны, а высказывание F(1001) ложно.
 
 
Категория: Mатематика студентам | Просмотров: 25 | Добавил: novivirus | Теги: Колмогоров А.Н. | Рейтинг: 0.0/0
Добавлять комментарии могут только зарегистрированные пользователи.
[ Регистрация | Вход ]

Похожие материалы: