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


Пары и комплексные числа - часть 3


  • Назовите основные стандартные предикаты Турбо-Пролога.
  • Поясните механизм использования предикатов 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

    Литература

    1. Агафонов В. PL, Борщев В.Б., Воронков А.А. Логическое программирование в широком смысле (обзор). В кн. Логическое программирование: Пер. с англ, и фр.- М.:Мир,1988.-368с.
    2. Вольфенгаген В.Э., Яцук В.Я. и др. Методические указания к проведению практических занятий по курсу "Основы разработки специализированных машин" (реализация в среде аппликативной логики). - М: МИФИ,1990. - 60 с.
    3. Ин Ц., Соломон Д. Использование Турбо-Пролога: Пер. с англ. - М.: Мир, 1993. - 606 с.
    4. Искусственный интеллект: В 3-х кн. Кн. 2. Модели и методы: Справочник/Под ред. Д.А. Поспелова. - М.: Радио и связь, 1990. - 304 с.
    5. Искусственный интеллект: В 3-х кн. Кн. 3. Программные и аппаратные средства: Справочник/Под ред. В.Н. Захарова, В.Ф. Хорошевского. - М.: Радио и связь, 1990. - 368 с.
    6. Искусственный интеллект - основа новой информационной технологии/Поспелов Г.С. - М.: Наука, 1988. - 280 с.
    7. Компанией, Р.И., Ломако А. Г. Программирование и исчисление вычислительных задач.Инф. бюллетень № 89. - СПб.: ВИККА, 1996. - 29 с.
    8. Котпенко И.В. Логическое программирование на Прологе. TURBO и PDC PROLOG. Учебное пособие. - СПб.: ВАС, 1993.- 412 с.
    9. Лорьер Ж.-Л. Системы искусственного интеллекта: Пер. с фр. - М.: Мир, 1991. - 568с.
    10. Ю.Марселлус Д. Программирование экспертных систем на Турбо-Прологе.: Пер. с англ. - М.: Финансы и статистика, 1994. - 256 с.
    11. Осу га С. Обработка знаний: Пер. с яп. - М.: Мир, 1989. - 293 с.
    12. Стерлинг Л., Шапиро Э. Искусство программирования на языке Пролог: Пер.с англ.- М.: Мир, 1990. - 235 с.
    13. Тыугу Э.X. Концептуальное программирование. - М.:Наука,1984. - 256 с.
    14. Фагпиев II. И. Логика: Учебное пособие. - СПб.: СПбГУП, 1994. - 118 с.

    356

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




    Начало  Назад  Вперед



    Книжный магазин