Лекции по математической логике и теории алгоритмов. Часть 2. Языки и исчисления

Лекции по математической логике и теории алгоритмов. Часть 2. Языки и исчисления

Лекции по математической логике и теории алгоритмов. Часть 2. Языки и исчисления — Книга написана по материалам лекций и семинаров, проводившихся авторами для студентов младших курсов мехмата МГУ.
  • 0

Жемчужины проектирования алгоритмов. Функциональный подход

Жемчужины проектирования алгоритмов. Функциональный подход

Жемчужины проектирования алгоритмов. Функциональный подход — В этой книге Ричард Берд представляет принципиально новый подход к проектированию алгоритмов, а именно проектирование посредством формального вывода.
  • 0

Библиотека алгоритмов 51б—100б. Справочное пособие

Библиотека алгоритмов 51б—100б. Справочное пособие

Библиотека алгоритмов 51б—100б — В книге приводятся описания алгоритмов по широкому кругу вопросов прикладной математики и программирования на алгоритмическом языке АЛГОЛ-60, публиковавшихся первоначально в журнале «Communications of the ACM» (США)
  • 0

Практикум по методам построения алгоритмов

 Практикум по методам построения алгоритмов

Практикум по методам построения алгоритмов — Курс включает задачи по программированию неодинаковой трудности. Большинство задач приводятся с решениями. Мишень курса - научить основным методам построения корректных и бойких алгоритмов.
Курс будет здоров учителям информатики, старшеклассникам, студентам меньших курсов длиннейших учебных заведений.