Зюзьков В.М. Математическое введение в декларативное программирование

Санкт-Петербург: СПбГУ ИТМО, 2010. - 251 с. Учебно-методическое пособие содержит обширный теоретический и практический материал по курсу «Функциональное программирование». Изложение ведется с использованием одного из самых известных и распространенных в настоящее время языков функционального программирования – языка Haskell. Даны многочисленные примеры программ, подробно...

Монография. — Под ред. А.А. Потапова. — М.: Физматлит, 2008. — 496 с. — ISBN 978-5-9221-0841-6. OCR. В монографии впервые систематически рассмотрены и обобщены разработанные авторами новые направления в приложении теории обработки искаженных и малоконтрастных изображений к актуальным задачам радиофизики, астрономии, оптики и радиолокации. Монография состоит из двух частей. В...

2-е изд. — М.: Вильямс, 2007. — 1410 с. — ISBN 5-8459-0887-2, 0-13-790395-2, 978-5-8459-0887-2. В книге представлены все современные достижения и изложены идеи, которые были сформулированы в исследованиях, проводившихся в течение последних пятидесяти лет, а также собраны на протяжении двух тысячелетий в областях знаний, ставших стимулом к развитию искусственного интеллекта как...

М.: Горячая линия - Телеком, 2006. — 452 с. Книга посвящена вопросам "интеллектуальных вычислений". Содержит базовые знания о генетических алгоритмах, эволюционном программировании, нечетких системах, а также связях этих направлений с нейронными сетями. Для научных и инженерно-технических работников в области информатики и вычислительной техники,занимающихся созданием и...

Перевод с английского. — Кембридж, 1997. — 170 с. Это конспект лекций по курсу "Введение в функциональное программирование", который преподавался Джоном Харрисоном в университете Кембриджа в 1996/7 учебном году. Введение. Лямбда-исчисление. Лямбда-исчисление как язык программирования. Типы. Знакомство с ML. Более подробно о ML. Доказательство корректности программ. Эффективный...

2014. — 157 с. О Haskell по-человечески для обыкновенных программистов. Признаюсь, я начал уставать от сложности C++. Захотелось мне чего-нибудь эдакого. Компилируемость, строгость к типам, высокоуровневые конструкции, красивый синтаксис, универсальность и. что-нибудь попроще. Да, я хотел именно этого. Под руку случайно подвернулся Haskell — и зацепил меня сразу. Во-первых,...