НЕФТЬ-ГАЗ ЭЛЕКТРОННАЯ БИБЛИОТЕКА

Теперь на нашем сайте можно за 5 минут создать свежий реферат или доклад

Скачать книгу целиком можно на сайте: www.nglib.ru.

<< Программиование <<

Верещагин Н.К. Лекции по математической логике и теории алгоритмов Часть 2

Скачать книгу здесь
Автор: Верещагин Н.К.
Название: Лекции по математической логике и теории алгоритмов Часть 2
Год издания: 2000
УДК: 519.7
Число страниц: 291
Содержание книги:
1.1. Высказывания и операции
1.2. Полные системы связок
1.3. Схемы из функциональных элементов
2.1. Исчисление высказываний (ИВ
2.3. Поиск контрпримера и исчисление секвенций
2.4. Интуиционистская пропозициональная логика
3.1. Формулы и интерпретации
3.2. Определение истинности
3.3. Выразимые предикаты
3.4. Выразимость в арифметике
3.6. Элиминация кванторов
3.7. Арифметика Пресбургера
3.8. Теорема Тарского-Зайденберга
3.9. Элементарная эквивалентность
3.10. Игра Эренфойхта
3.11. Понижение мощности
4.1. Общезначимые формулы
4.2. Аксиомы и правила вывода
4.3. Корректность исчисления предикатов
4.4. Выводы в исчислении предикатов
4.5. Полнота исчисления предикатов
4.6. Переименование переменных
4.7. Предварённая нормальная форма
4.8. Теорема Эрбрана
4.9. Сколемовские функции
5.1. Аксиомы равенства
5.2. Повышение мощности
5.3. Полные теории
5.4. Неполные и неразрешимые теории
5.5. Диаграммы и расширения
5.6. Ультрафильтры и компактность
5.7. Нестандартный анализ
Глоссарий:
2 а б в г д е ж з и к л м н о п р с т у ф х ц ч ш э я
Смотреть страницы:
2 3 32 60 88 116 144 172 200 228 256 284 289 290
Полнотекстовый поиск по книге:
Введите слово или фразу для поиска:
Близкие по содержанию книги:
Математическая логика
Математика >> Прочее
Лекции по математической логике и теории алгоритмов Часть 1
Математика >> Вычислительная математика >> Программиование
Математическая логика и дискретная математика
Математика >> Анализ, высшая математика >> Прочее

Просмотреть оригинальные страницы книг в формате djvu можно на сайте: www.nglib.ru.


Главный редактор проекта: Мавлютов Р.Р.
oglib@mail.ru