Отбор записей:
- ← первая
- 1
- 2
- 3
- 4
- 5
- 6
- 7
- 8
- 9
- 10
- 11
- 12
- 13
- 14
- 15
- 16
- 17
- 18
- 19
- 20
- 21
- 22
- 23
- 24
- 25
- 26
- 27
- 28
- 29
- 30
- 31
- 32
- 33
- 34
- 35
- 36
- 37
- 38
- 39
- 40
- 41
- 42
- 43
- 44
- 45
- 46
- 47
- 48
- 49
- 50
- 51
- 52
- 53
- 54
- 55
- последняя →
-
Пусть имеется некоторая формула A. Как выяснтить, что она не тавтология? Привести контрпример, то есть построить оценку, на которой эта формула является ложной. Для построения контрпримера можно разбирать формулу: если главная связка — дизъюнкция, то ищем значения переменных, при которых оба аргумента ложны; если главная связка — отрицание, то ищем значения переменных, при которых аргумент истинен; если главная связка — импликация, то ищем значения... далее
Комментариев: 0
-
Здравствуйте! Данный курс лекций по численным методам читают на кафедре теоретической механики. Курс охватывает множество задач, начиная с нелинейных уравнений и заканчивая квадратурными формулами Гаусса и решением дифференциальных уравнений. В курсе также есть примеры решения некоторых задач
Комментариев: 0
Высшая математика – просто и доступно!
Математическая логика, Ефремов Евгений
Конспект лекций по математической логики от
Комментариев: 0