Написать рефераты, курсовые и дипломы самостоятельно. Антиплагиат.
Студенточка.ru: на главную страницу. Написать самостоятельно рефераты, курсовые, дипломы в кратчайшие сроки
Рефераты, курсовые, дипломные работы студентов: научиться писать самостоятельно.
Контакты Образцы работ Бесплатные материалы
Консультации Специальности Банк рефератов
Карта сайта Статьи Подбор литературы
Научим писать рефераты, курсовые и дипломы.


подбор литературы периодические источники литература по предмету

Логика высказываний. Учебное пособие


Похожие книги   Готовые работы

Год выпуска: 2015
Автор: С. И. Гуров
Издательство: Издательство Московского университета
Страниц: 272
ISBN: 978-5-19-011105-7
Описание
 Предлагаемое учебное пособие предназначено для студентов, начинающих изучать математическую логику, оно также может быть использовано при самообразовании.При изложении материала подчёркиваются алгебраические аспекты исчислений высказываний классической и интуиционистской логик. Изложены методы характеризации формул логики высказываний, подробно рассмотрены гильбертовские исчисления, система натурального вывода и исчисление секвенций для исчисления высказываний. Для каждой из трёх систем рассматривается соответствующая метатеория. Рассматриваются семантические методы характеризации формул (таблицы Э.Бета, семантика возможных миров С.Крипке). Пособие содержит большое количество примеров, позволяющих читателю легко освоиться с вводимыми понятиями.

Похожие книги

  1. С.Д. Шапорев. Математическая логика. Курс лекций и практических занятий. – СПб.: БХВ-Петербург, 2005. – 416 с.
  2. М.М. Глухов, О.А. Козлитин, В.А. Шапошников, А.Б. Шишков. Задачи и упражнения по математической логике, дискретным функциям и теории алгоритмов. – СПб.: Лань, 2008. – 112 с.
  3. А.Е. Конверский. Логика традиционная и современная. – М.: Идея-Пресс, 2010. – 380 с.
  4. В.П. Плавич. Основы логики с задачами и упражнениями. – М.: Бурун Книга, 2010. – 208 с.
  5. Л.М. Лихтарников, Т.Г. Сукачева. Математическая логика. – СПб.: Лань, 2008. – 288 с.
  6. Е.Я. Басин. Искусство и логика. – М.: БФРГТЗ "Слово", 2012. – 164 с.
  7. В.Н. Крупский, В.Е. Плиско. Математическая логика и теория алгоритмов. – М.: ДРОФА, 2013. – 416 с.
  8. Е.В. Просолупов. Курс лекций по дискретной математике. Часть 2. Математическая логика. – М.: Издательство СПбГУ, 2013. – 80 с.
  9. И.Б. Антонова. Three "Р" Rhetoric: Public, Political & Presidential / Риторика трех "П". Публичная, политическая и президентская. Английский язык. Учебное пособие. – М.: РГГУ, 2014. – 330 с.
  10. А.С. Герасимов. Курс математической логики и теории вычислимости. Учебное пособие. – СПб.: Лань, 2014. – 416 с.
  11. Сергей Гуров. Исчисления высказываний и исчисления секвенций. – М.: LAP Lambert Academic Publishing, 2013. – 124 с.
  12. В.И. Игошин. Математическая логика и тория алгоритмов. Сборник задач. Учебное пособие. – М.: Инфра-М,КУРС, 2017. – 392 с.
  13. Н.В. Беляева. Итоговое сочинение. Профилактика ошибок. Учебное пособие. – М.: Просвещение, 2017. – 128 с.
  14. В.П. Супрун. Основы математической логики. – М.: Ленанд,Editorial URSS, 2017. – 200 с.
  15. С.И. Гуров. Логика высказываний. Учебное пособие. – М.: Издательство Московского университета, 2015. – 272 с.

Посмотреть другие результаты поиска

Образцы работ

Тема и предметТип и объем работы
Совершенствование анализа экономического потенциала кризисного предприятия на стадии наблюдения
Экономика предприятия 		Диплом
80 стр.
Значение маркетинга в управлении фирмой на примере компании
Маркетинг 		Диплом
87 стр.
Проблемы госуправления современной России
Государственное и муниципальное управление 		Диплом
85 стр.
Внедрение специального программного обеспечения в систему комплексной работы технических средств транспортной безопасности
Безопасность жизнедеятельности 		Диплом
111 стр.

Искать другие темы


Задайте свой вопрос по вашей теме

Гладышева Марина Михайловна

marina@studentochka.ru
+7 911 822-56-12
с 9 до 21 ч. по Москве.
Контакты
marina@studentochka.ru
+7 911 822-56-12
с 9 до 21 ч. по Москве.
Поделиться
Мы в социальных сетях
Реклама



Отзывы
Света, 04.07
Я защитилась на 4!Вам огромное спасибо!!!! Все очень хорошо было сделано!!! Я была в отпуске с июня и только в понедельник вышла на работу, поэтому извините, что не сообщила раньше. Спасибо!!!!! Вы мне очень помогли.