|
libcats.org
Математическая логика и теория алгоритмовГамова А.Н.Данное учебное пособие представляет собой курс лекций, которые автор читает на механико-математическом факультете Саратовского государственного университета, начиная с 1993 года . Содержание курса составили два раздела математической логики: исчисления и алгоритмы. Подбор материала лекций определялся задачей развития у слушателей навыков использования методов математической логики для изучения других математических наук. В разделе теории алгоритмов представлены два направления уточнения алгоритма и вычислимости - машины Тьюринга и частично рекурсивные функции С.Клини
EPUB | FB2 | MOBI | TXT | RTF
* Конвертация файла может нарушить форматирование оригинала. По-возможности скачивайте файл в оригинальном формате.
Популярные книги за неделю:
#2
В.Бекетов, К.Харченко. Измерения и испытания при конструировании и регулировке радиолюбительских антенн (djvu)
4.82 Mb
#4
Самодельные детали для сельского радиоприемникаАвторы: З.Б.Гинзбург, Ф.И.Тарасов.Категория: радиоэлектроника
1.40 Mb
Только что пользователи скачали эти книги:
#2
В.Бекетов, К.Харченко. Измерения и испытания при конструировании и регулировке радиолюбительских антенн (djvu)
4.82 Mb
#4
Самодельные детали для сельского радиоприемникаАвторы: З.Б.Гинзбург, Ф.И.Тарасов.Категория: радиоэлектроника
1.40 Mb
#16
Практические работы по органической химииЮрьев Ю.К.Категория: Практическая химия и ее методы
1.45 Mb
#17
Аналитическая химия в схемах и таблицах. СправочникБолотов В.В. и др.Категория: Практическая химия и ее методы
1.33 Mb
#19
Справочник по производству спирта. Сырье, технология и техноконтрольЯровенко В.Л., Устинников Б.А.Категория: Справочники
2.56 Mb
|
|