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


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

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



Год выпуска: 2008
Автор: А. А. Набебин, Ю. П. Кораблин
Издательство: Научный мир
Страниц: 344
ISBN: 978-5-91522-001-9
Описание
Излагаются основные понятия математической логики и теории алгоритмов: исчисление высказываний, исчисление предикатов первого порядка, исчисление секвенций (Гентцена), метод резолюций и универсальный язык программирования Пролог, частично рекурсивные функции, машины Тьюринга и универсальный язык программирования ЛИСП. Приведены примеры алгоритмически неразрешимых проблем. Показана алгоритмическая неразрешимость логики предикатов и аксиоматической арифметики. Дано понятие о теоремах Геделя. Предназначено студентам высших технических учебных заведений, специализирующимся в области прикладной математики, вычислительной техники, программирования, информатики.


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

  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 ч. по Москве.
Поделиться
Мы в социальных сетях
Реклама



Отзывы
Ирина
"Студенточка" помогла мне справиться с проблемами вёрстки книги. Помощь была оказана квалифицированно и доброжелательно. Мне не только помогли практически, но и дали хорошую консультацию. От своего имени и от имени учёного в области фундаментостроения Самуила Кушнера выражаю "Студенточке" глубокую благодарность.