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

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

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

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

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

Математическая логика и теория алгоритмов — В настоящее время в связи с бурным развитием информатики, программирования и исследованиями в области искусственного интеллекта значение логики существенно возросло, особенно в прикладном плане.
  • 0

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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