D-Mir2009
Меню сайта
Категории раздела
Video [254]
Фильмы и другие видеоматериалы
Music [28920]
Музыка
Programs [528]
Программы для компьютера и не только
Others [30904]
Другое
Мини-чат
Наш опрос
Оцените мой сайт
Всего ответов: 31
Статистика

Онлайн всего: 1
Гостей: 1
Пользователей: 0
Главная » 2018 » Июнь » 12 » Конспект лекций по математической логике: Учебно-методическое пособие для студентов физико-математических факультетов педвузов
11:51
Конспект лекций по математической логике: Учебно-методическое пособие для студентов физико-математических факультетов педвузов

Конспект лекций по математической логике: Учебно-методическое пособие для студентов физико-математических факультетов педвузов — Это конспект курса лекций по математической логике, читаемого автором в течение ряда лет на математическом факультете в Тобольской государственной социально-педагогической академии им. Д.И. Менделеева. Пособие предназначено, в первую очередь, для студентов физико-математических специальностей пединститутов. Математи́ческая ло́гика (теоретическая логика, символическая логика) — раздел математики, изучающий математические обозначения, формальные системы, доказуемость математических суждений, природу математического доказательства в целом, вычислимость и прочие аспекты оснований математики. Пособие может быть использовано также при чтении курса математической логики для специалистов, связанных с информатикой. Пособие будет полезно всем, кто интересуется математикой и проблемами ее обоснования.

Название: Конспект лекций по математической логике: Учебно-методическое пособие для студентов физико-математических факультетов педвузов
Автор: Валицкас А. И.
Издательство: Тобольск: ТГСПА им. Д.И. Менделеева
Год: 2010
Страниц: 186
Формат: DJVU
Размер: 13,3 МБ
ISBN: 978-5-85944-273-7
Качество: Отличное

Содержание:

Предисловие
Глава I. Алгебра высказываний
Глава II. Алгебра предикатов
Глава III. Формальные аксиоматические теории
Приложение. Формальная теория множеств
Литература
Предметный указатель

Скачать Конспект лекций по математической логике: Учебно-методическое пособие для студентов физико-математических факультетов педвузов
Скачать с turbobit.net
Скачать с katfile.com
Скачать с file-upload.com
Категория: Others | Просмотров: 128 | Добавил: pmojka | Теги: математической, 2010, конспект, Лекций, Валицкас, логике | Рейтинг: 0.0/0
Всего комментариев: 0
Добавлять комментарии могут только зарегистрированные пользователи.
[ Регистрация | Вход ]
Вход на сайт
Поиск
Календарь
Архив записей
Друзья сайта
  • Официальный блог
  • Сообщество uCoz
  • FAQ по системе
  • Инструкции для uCoz
  • Copyright MyCorp © 2024