Меню сайта
Категории раздела
Аудио [1]
Безопасность [71]
Видео [76]
Видеоклипы [12]
Графика [89]
Дизайн и Фотошоп [6]
Драйвера [17]
Игры [2]
Инсталляторы и патчи [2]
История [668]
Книги и справочники [5920]
Концерты [3]
Литература [2295]
Мобилка [92]
Музыка [6696]
Обои и 3D-хранители экрана [5]
Обслуживание системы [5]
Обучающее видео [427]
Операционная система [10]
Переводчики и словари [2]
Портабл [137]
Программирование [192]
Разное [411]
Распаковка и защита [1]
Сеть и интернет [75]
Фильмы [68]
Художественные книги [2948]
Юмор [1]
Календарь
«  Июнь 2018  »
ПнВтСрЧтПтСбВс
    123
45678910
11121314151617
18192021222324
252627282930
Статистика
Онлайн всего: 1
Гостей: 1
Пользователей: 0



  
Заказ рекламы принимается через форму обратной связи. Всего 50 рублей в неделю!
  
Главная » 2018 » Июнь » 12 » Конспект лекций по математической логике: Учебно-методическое пособие для студентов физико-математических факультетов педвузов
12:51
Конспект лекций по математической логике: Учебно-методическое пособие для студентов физико-математических факультетов педвузов

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

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

Содержание:

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

Скачать Конспект лекций по математической логике: Учебно-методическое пособие для студентов физико-математических факультетов педвузов

Скачать с turbobit.net
Скачать с katfile.com
Скачать с file-upload.com
   
   
Категория: Книги и справочники | Просмотров: 10 | Добавил: pmojka | Теги: математической, конспект, 2010, лекций, логике, Валицкас | Рейтинг: 0.0/0

Всего комментариев: 0

Имя *:
Email *:

Все смайлы

Вход на сайт
Логин:
Пароль:
Переводчик
 
Поиск
   
Архив записей за один год
Мини-чат
Скажи спасибо
Реклама


 



Яндекс.Деньги-бонус
Яндекс.Деньги бонусы каждый день 
до 0.35 рублей!