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


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

Математическая логика и теория алгоритмов



Год выпуска: 2009
Автор: А. К. Гуц
Издательство: Либроком
Страниц: 120
ISBN: 978-5-397-00056-7
Описание
Настоящее учебное пособие посвящено изложению математической логики и теории алгоритмов. Основу пособия составляют лекции, которые читаются студентам второго курса факультета компьютерных наук Омского государственного университета. Излагаются классическая логика, метод резолюций, формальные исчисления, формальная арифметика, принципы логического программирования, нечеткая логика и нечеткая арифметика, модальные, временные и алгоритмические логики. Приводятся семантика Крипке, аксиомы алгоритмической логики Хоара, логики Васильева и Лукасевича. Даются представления о частично рекурсивных функциях, машине Тьюринга-Поста, нормальных алгорифмах Маркова и о сложности алгоритмов. Для студентов, обучающихся по специальностям "Компьютерная безопасность" и "Вычислительные машины, комплексы, системы и сети".


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

  1. М.М. Глухов, А.Б. Шишков. Математическая логика. Дискретные функции. Теория алгоритмов. – СПб.: Лань, 2012. – 416 с.
  2. А.М. Попов, В.Н. Сотников, Е.И. Нагаева. Информатика и математика для юристов. – М.: Юнити-Дана, 2009. – 392 с.
  3. В.М. Зюзьков, А.А. Шелупанов. Математическая логика и теория алгоритмов. – М.: Горячая Линия - Телеком, 2007. – 176 с.
  4. М.М. Глухов, О.А. Козлитин, В.А. Шапошников, А.Б. Шишков. Задачи и упражнения по математической логике, дискретным функциям и теории алгоритмов. – СПб.: Лань, 2008. – 112 с.
  5. А.К. Гуц. Математическая логика и теория алгоритмов. – М.: Либроком, 2009. – 120 с.
  6. А.А. Набебин, Ю.П. Кораблин. Математическая логика и теория алгоритмов. – М.: Научный мир, 2008. – 344 с.
  7. Ю.И. Журавлев, Ю.А. Флеров, М.Н. Вялый. Дискретный анализ. Формальные системы и алгоритмы. – М.: Контакт Плюс, 2010. – 336 с.
  8. И.А. Мальцев. Дискретная математика. – СПб.: Лань, 2011. – 304 с.
  9. И.А. Лавров, Л.Л. Максимова. Задачи по теории множеств, математической логике и теории алгоритмов. – М.: ФИЗМАТЛИТ, 2004. – 256 с.
  10. В.И. Игошин. Задачи и упражнения по математической логике и теории алгоритмов. – М.: Академия, 2008. – 304 с.
  11. В.И. Игошин. Теория алгоритмов. – М.: Инфра-М, 2013. – 320 с.
  12. В.И. Игошин. Теория алгоритмов. – М.: Academia, 2013. – 320 с.
  13. А.С. Герасимов. Курс математической логики и теории вычислимости. Учебное пособие. – СПб.: Лань, 2014. – 416 с.
  14. Гуц А.К. Математическая логика и теория алгоритмов. – М.: , 2016. –  с.
  15. А.В. Пруцков, Л.Л. Волкова. Математическая логика и теория алгоритмов. Учебник. – М.: Инфра-М, КУРС, 2016. – 156 с.
  16. В.И. Игошин. Математическая логика и тория алгоритмов. Сборник задач. Учебное пособие. – М.: Инфра-М,КУРС, 2017. – 392 с.
  17. Овчинникова Елена Викторовна, Судоплатов Сергей Владимирович. Математическая логика и теория алгоритмов. Учебник и практикум для академического бакалавриата. – М.: Юрайт, 2017. – 255 с.

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

Тема и предметТип и объем работы
Значение логики, логика и жизнь
Логика
Реферат
21 стр.
Диагностика математического мышления обучающихся
Педагогика
Курсовая работа
27 стр.
Математическое мышление и математические доказательства в деятельности военных специалистов
Математика
Реферат
22 стр.
Логика и философия
Логика
Реферат
23 стр.



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

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

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



Отзывы
Николай, 01.05
Вчера была сдана Ваша работа без особых вопросов. Спасибо.