Еще
Логотип LiveLib

Это бета-версия LiveLib. Сейчас доступна часть функций, остальные из основной версии будут добавляться постепенно.

А. Г. Степанов, Пол Мак-Джонс - Начала программирования
18+
User AvatarВаша оценка
4
(1)

Начала программирования

А. Г. Степанов, Пол Мак-Джонс
В настоящей книге применяется дедуктивный подход к программированию, основанный на объединении программ с абстрактными математическими теориями, которые обеспечивают их работу. Представлены вместе описания этих теорий, алгоритмы, записанные с точки зрения этих теорий, а также теоремы и леммы, описывающие их свойства. Реализация алгоритмов на реальном языке программирования является центральной темой книги. Эта книга предназначена для тех, кто стремится глубже понять суть программирования, будь...

Жанры

Рейтинг LiveLib

4,0
1 оценка
  • 5
    0%
  • 4
    100%
  • 3
    0%
  • 2
    0%
  • 1
    0%
User AvatarВаша оценка
Прочитали 1Хотят прочитать 16

Рецензии

На эту книгу еще нет ни одной рецензии. Ваша может стать первой.

Популярное

Цитаты

Еще не добавлена ни одна цитата из книги. Ваша может стать первой.

Подборки с этой книгой

Все подборки