Доброго дня, Тетяно!
На жаль, конкретної інформації за запитом нам знайти не вдалося (у доступних нам джерелах). Деяку інформацію можна переглянути в наступних:
Жалдак, М. И. Математика с компьютером : пособие для учителей : (пер. с укр.) / М. И. Жалдак, Ю. В. Горошко, Е. Ф. Винниченко; [отв. ред. Жалдак М. И.].— Изд. 2-е. — К. : НПУ им. М. П. Драгоманова, 2012. — 283 с.
Клочко, В. І. Вища математика. Звичайні диференціальні рівняння (з комп’ютерною підтримкою) / В. І. Клочко, З. В. Бондаренко; М-во освіти, науки, молоді та спорту України, Вінниц. нац. техн. ун-т. — Вінниця : Універсум : Едельвейс і К, 2013. — 252 с.
Ковалюк, Тетяна Володимирівна. Основи програмування : [підруч. для студ. вищ. навч. закл., які навчаються за напрямами «Комп’ютер. науки», «Комп’ютеризовані системи, автоматика і упр.», «Комп’ютер. інженерія», «Прикладна математика»] / Т.В.Ковалюк. — К. : BHV, 2005. — 383 с.
Кривий, Сергій Лук'янович. Вступ до некласичної математичної логіки [Текст] : навч. посіб. для студ. ун-тів, які навчаються за напрямом підготов. "Комп'ютерні науки" / С. Л. Кривий, О. І. Провотар ; Київ. нац. ун-т ім. Т. Шевченка. - К. : Київський ун-т, 2010. - 205 с.
Любченко, Костянтин Миколайович. Елементи математичної логіки з комп'ютерною підтримкою [Текст] : посіб. для вчителів / К. М. Любченко, Ю. В. Триус ; Черкаський національний ун-т ім. Богдана Хмельницького. - Черкаси : Видавничий відділ ЧНУ, 2004. - 87 с.
Методичні вказівки до виконання розрахункового завдання з курсу ”Комп’ютерна логіка. Логіка дискретних автоматів” : для студ. ден. та заоч. форм навчання напрямку 6.050102 / М-во освіти і науки, молоді та спорту України, Нац. техн. ун-т ”Харк. політехн. ін-т”; [уклад.: С. Ю. Гавриленко]. — Х. : НТУ ”ХПІ”, 2012. — 44 с.
Нечітка логіка [Текст] : навч. посіб. для студ. вищ. навч. закл., які навч. за напрямами "Комп'ютерна інженерія", "Комп'ютерні науки" / В. С. Хандецький [и др.] ; Дніпропетровський національний ун-т. - Д. : ДНУ, 2005. - 230 с.
Петрук, Віра Андріївна. Вища математика з комп’ютерною підтримкою. Рівняння математичної фізики : навч. посіб. / В. А. Петрук, М. Б. Ковальчук, Н. В. Сачанюк-Кавецька; М-во освіти і науки, молоді та спорту України, Вінниц. нац. техн. ун-т. — Вінниця : ВНТУ, 2012. — 156 с.
Харченко, Володимир Миколайович. Комп’ютерні технології : Курс лекцій для студ. зі спец. «Математика та основи інформатики», «Математика та основи економіки» / Ніжин. держ. пед. ун-т ім. М.Гоголя. — Ніжин, 2004. — 116 с.
http://www.ifap.ru/pi/07/r20.doc
http://www.alt-future.narod.ru/Ai/exp.htm
http://professorjournal.ru/PJGrantsPrograms/GrantmMaterialsServlet?grantmId=1122183&grantmType=lecttext
http://itosvita.ucoz.ua/logo/pic_VUZ/chap/Diskretnaya_matematica_01.pdf
http://rvufk.com.ua/attachments/article/553/Лекція 1.doc
http://nauka.in.ua/news/articles/article_detail/8351