Решение задач по дискретной математике

Долгое время логика, как формальная основа рассуждений, казалась самоочевидной и свободно использовалась во всех науках без системного обоснования. Но в начале 20 в было открыто несколько парадоксов теории множеств, которые привели к необходимости математически строгого обоснования законов логики. И тогда началась активная проработка математической логики. Главная цель математической логики – дать точное и адекватное определение понятия «математического доказательства», что требует исследования истинностно-фунукциональных связок, т.е. логических функций одного или нескольких логических аргументов, связанных операциями , , , , и т.п.

---

Если вам нужна помощь в написании контрольной работы , обратитесь к специалистам Work5.

---

.

: « есть геделев номер равенства», что соответствует предикату и его геделев номер есть 107; : « есть геделев номер выражения, состоящего из переменной», что формально может быть записано как ; : « есть геделев номер некоторого терма или некоторого равенства , а есть геделев номер терма, входящего в или в , формально может быть записано как

1. Мендельсон Э. Введение в математическую логику. – М.: Наука, 1971. – 320 с. 2. Бурбаки Н. Элементы математики. Алгебра (алгебраические структуры, линейная и полилинейная алгебра. – М.:Физматгиз, 1962. 3. Виноградов И. М. Основы теории чисел, 6-е издание, - М.: Гостехиздат. 1952. 4. Клини С.К. Введение в математику. – М.: ИЛ, 1957. 5. Ландау Э. Основы анализа. – М: ИЛ, 1947.