Основы современных компьютерных технологий

                

Поясните механизм использования предикатов fail


  • Назовите основные стандартные предикаты Турбо-Пролога.


  • Поясните механизм использования предикатов fail и ! для управления вычислениями.


  • Укажите способы организации рекурсии.


  • Дайте определение списка и поясните основной механизм обработки списков.


  • Укажите состав и структуру системы синтеза программ.


  • Дайте определение и укажите форму задания вычислительной задачи.


  • Охарактеризуйте решатель задач ТК Solver, назовите состав панелей.


  • Назовите разновидности функций и укажите технологию описания функций пользователя.


  • Составить Пролог-программу объединения двух списков.


  • Составить Пролог-программу сортировки элементов списка в порядке убывания.


  • Составить рекурсивную программу вычисления S = Хn+1/(п+1 )!, n=0, 1,2...


  • Выполнить в системе ТК Solver решение следующих систем уравнений:


    • а) { X*Y=sin(X) + 1;
    Y=cos(X)+2
    б) { X*Y=sin(X)+1
    Y-3=cos(X).
    19. Разработать ВМ для расчета параметров пассивных и активных электрических цепей, включающих сопротивления, индуктивности, емкости и источники тока.

    355

    Литература

  • Агафонов В. PL, Борщев В.Б., Воронков А.А. Логическое программирование в широком смысле (обзор). В кн. Логическое программирование: Пер. с англ, и фр.- М.:Мир,1988.-368с.


  • Вольфенгаген В.Э., Яцук В.Я. и др. Методические указания к проведению практических занятий по курсу "Основы разработки специализированных машин" (реализация в среде аппликативной логики). - М: МИФИ,1990. - 60 с.


  • Ин Ц., Соломон Д. Использование Турбо-Пролога: Пер. с англ. - М.: Мир, 1993. - 606 с.


  • Искусственный интеллект: В 3-х кн. Кн. 2. Модели и методы: Справочник/Под ред. Д.А. Поспелова. - М.: Радио и связь, 1990. - 304 с.


  • Искусственный интеллект: В 3-х кн. Кн. 3. Программные и аппаратные средства: Справочник/Под ред. В.Н. Захарова, В.Ф. Хорошевского. - М.: Радио и связь, 1990. - 368 с.


  • Искусственный интеллект - основа новой информационной технологии/Поспелов Г.С. - М.: Наука, 1988. - 280 с.


  • Компанией, Р.И., Ломако А. Г. Программирование и исчисление вычислительных задач.Инф. бюллетень № 89. - СПб.: ВИККА, 1996. - 29 с.


  • Котпенко И.В. Логическое программирование на Прологе. TURBO и PDC PROLOG. Учебное пособие. - СПб.: ВАС, 1993.- 412 с.


  • Лорьер Ж.-Л. Системы искусственного интеллекта: Пер. с фр. - М.: Мир, 1991. - 568с.


  • Ю.Марселлус Д. Программирование экспертных систем на Турбо-Прологе.: Пер. с англ. - М.: Финансы и статистика, 1994. - 256 с.


  • Осу га С. Обработка знаний: Пер. с яп. - М.: Мир, 1989. - 293 с.


  • Стерлинг Л., Шапиро Э. Искусство программирования на языке Пролог: Пер.с англ.- М.: Мир, 1990. - 235 с.


  • Тыугу Э.X. Концептуальное программирование. - М.:Наука,1984. - 256 с.


  • Фагпиев II. И. Логика: Учебное пособие. - СПб.: СПбГУП, 1994. - 118 с.


    • 356

    353 :: 354 :: 355 :: 356 :: Содержание


    Содержание  Назад  Вперед




    Forekc.ru
    Рефераты, дипломы, курсовые, выпускные и квалификационные работы, диссертации, учебники, учебные пособия, лекции, методические пособия и рекомендации, программы и курсы обучения, публикации из профильных изданий