Математическая логика и теория алгоритмов. Стенюшкина В.А. - 114 стр.

UptoLike

ВУЗ: 

ОГУ | Оренбург

Составители: 

Рубрика: 

СПИСОК ИСПОЛЬЗОВАННЫХ ИСТОЧНИКОВ
1 Новиков П.С. Элементы математической логики. - М: Наука, 1973. 328с.
2 Новиков Ф.А. Дискретная математика для программистов. – СПб: Пи-
тер, 2000. – 304с.
3 Верещагин Н.К., Шень А. Лекции по математической логике и теории
алгоритмов. Часть 3. Вычислимые функции. – М.: МЦНМО, 1999. – 176с.
4 Мальцев А.И. Алгоритмы и рекурсивные функции. – М.: Наука, 1965. –
392с.
5 Кормен Т., Лейзерсон Ч., Ривест Р. Алгоритмы: Построение и анализ. –
М.: МЦНМО, 1999. – 960с.
6 Информатика / Учебное пособие для пед. спец. высш. учеб. заведений. –
М.: Просвещение, 1991. – 288с.
7 Поддубная Л.М., Шаньгин В.Ф. Мне нравится Паскаль. – М.: Радио и
связь, 1992. – 160с.
8 Акритас А.Основы компьютерной алгебры с приложениями./ Пер. с
англ. – М.: Мир, 1994. – 544с.
9 Компаниец Р.И., Маньков Е.В., Филатов Н.Е. Системное программиро-
вание. / Учебное пособие для высших и средних учебных заведений. – СПб:
КОРОНА принт, 2000. – 256с.
10 Кук Д., Бейз Г. Компьютерная математика. / Пер. с англ. – М.: Мир,
1990. – 384с. 
             СПИСОК ИСПОЛЬЗОВАННЫХ ИСТОЧНИКОВ

      1 Новиков П.С. Элементы математической логики. - М: Наука, 1973. 328с.
      2 Новиков Ф.А. Дискретная математика для программистов. – СПб: Пи-
тер, 2000. – 304с.
      3 Верещагин Н.К., Шень А. Лекции по математической логике и теории
алгоритмов. Часть 3. Вычислимые функции. – М.: МЦНМО, 1999. – 176с.
      4 Мальцев А.И. Алгоритмы и рекурсивные функции. – М.: Наука, 1965. –
392с.
      5 Кормен Т., Лейзерсон Ч., Ривест Р. Алгоритмы: Построение и анализ. –
М.: МЦНМО, 1999. – 960с.
      6 Информатика / Учебное пособие для пед. спец. высш. учеб. заведений. –
М.: Просвещение, 1991. – 288с.
      7 Поддубная Л.М., Шаньгин В.Ф. Мне нравится Паскаль. – М.: Радио и
связь, 1992. – 160с.
      8 Акритас А.Основы компьютерной алгебры с приложениями./ Пер. с
англ. – М.: Мир, 1994. – 544с.
      9 Компаниец Р.И., Маньков Е.В., Филатов Н.Е. Системное программиро-
вание. / Учебное пособие для высших и средних учебных заведений. – СПб:
КОРОНА принт, 2000. – 256с.
      10 Кук Д., Бейз Г. Компьютерная математика. / Пер. с англ. – М.: Мир,
1990. – 384с.

Страницы