Функциональное программирование и интеллектуальные системы. Контрольная работа 3. Вариант 3. ТУСУР

Цена:
50 руб.

Состав работы

material.view.file_icon 3DEBBD5C-65B9-4A29-92C1-B4A5ED01CD68.rar [33 KB]
material.view.file_icon Контрольная 3
material.view.file_icon task.pl [2 KB]
material.view.file_icon Контрольная 3.docx [Office 2013, 2 стр., 37 KB]

Необходимые программы

Работа представляет собой rar архив с файлами (распаковать онлайн), которые открываются в программах:
  • Microsoft Word

Описание

Задание 1
Определим операторы:
:- op( 100, fy, ~).
:- op( 110, xfy, &).
:- op( 120, xfy, v).
Булева формула есть терм, определяемый следующим образом: константы true и false - булевы формулы; если X и Y - булевы формулы, то и X v Y, X & Y, ~X - булевы формулы, здесь v и & - бинарные инфиксные операторы дизъюнкции и конъюнкции, а ~ - унарный оператор отрицания.
Напишите программу, задающую отношение negation_inward(+F1,-F2), которое выполнено, если логическая формула F2 получается из логической формулы F1 внесением всех операторов отрицания внутрь конъюнкций и дизъюнкций.

Похожие материалы

Функциональное программирование и интеллектуальные системы. Контрольная работа 2. Вариант 3. ТУСУР
Контрольная работа № 2 (Вариант 3) Задание 1 Напишите предикат p(+L, -N) - истинный тогда и только тогда, когда N – количество различных элементов списка L. Задание 2 Напишите предикат p(+X, +Y, -Z) - истинный тогда и только тогда, когда Z есть "пересечение" списков X и Y, т.е. список, содержащий их общие элементы, причем кратность каждого элемента в списке Z равняется минимуму из его кратностей в списках X и Y.
Функциональное программирование и интеллектуальные системы Работа Контрольная ТУСУР
User Avn14 : 7 февраля 2018
50 руб.
Функциональное программирование и интеллектуальные системы
5 курс Контрольная работа №1 состоит из 15 вариантов по 2 задания в каждом (стр.15-19). Вариант №7 Контрольная работа №2 состоит из 8 вариантов по 2 задания в каждом (стр.19-22). Вариант№3 Контрольная работа №3 состоит из 7 вариантов по 2 задания в каждом (стр.23-27). Вариант №3
Программирование Работа Контрольная ТУСУР
User Сергей204 : 19 апреля 2018
300 руб.
Функциональное программирование и интеллектуальные системы. Контрольная работа №1. Вариант №7. ТУСУР
Контрольная работа № 1 (Вариант № 7) Задание 1 Определите предикат p(+U, +V, -L) - истинный тогда и только тогда, когда список L есть список всех элементов списка U, не содержащихся в списке V. Задание 2 Определите предикат p(+U, +V, -L) - истинный тогда и только тогда, когда L - список всех элементов, содержащихся либо в списке U, либо в списке V, но не одновременно в U и V.
Работа Контрольная Функциональное и логическое программирование ТУСУР
User Avn14 : 7 февраля 2018
50 руб.
Дискретная математика. ФДО ТУСУР. Контрольная работа №3. Вариант №2
Контрольная работа №3 по дисциплине «Дискретная математика – 2» учебное пособие Пермякова Н.В. «Спецглавы математики. Часть 2. Теория графов» Вариант №2
Работа Контрольная Дискретная математика ТУСУР
User GiveUp : 19 мая 2014
250 руб.
Дискретная математика. ФДО ТУСУР. Контрольная работа №3. Вариант №2
Основы теории управления. ФДО ТУСУР. Контрольная работа №3. Вариант №20
Контрольная работа №3 по дисциплине «Основы теории управления» учебное пособие Корикова А.М. «Основы теории управления» Вариант №20
Основы теории управления Работа Контрольная ТУСУР
User GiveUp : 19 мая 2014
500 руб.
Основы теории управления. ФДО ТУСУР. Контрольная работа №3. Вариант №20
ТУСУР. Маркетинг. Контрольная работа. 6 заданий 3 вариант
ТЕМА 1. РОЛЬ МАРКЕТИНГОВЫХ ИССЛЕДОВАНИЙ В ДЕЯТЕЛЬНОСТИ ОРГАНИЗАЦИИ Задание 3. Обсудите достоинства и недостатки первичной и вторичной маркетинговой информации. Заполните таблицу. Таблица — Преимущества и недостатки источников информации Тип информации Преимущества Недостатки Первичная информация Вторичная информация Задание 6. Для всех вариантов Выберите товарную категорию (растворимый кофе, зубная паста, стиральный порошок и т.п.). Для выбранной категории приведите не менее 5 ссылок на конкрет
Маркетинг Работа Контрольная ТУСУР
User studypro : 20 августа 2016
150 руб.
Инженерная графика. Вариант 3 ТУСУР
Инженерная графика. Вариант 3 ТУСУР ГРАФИЧЕСКАЯ КОНТРОЛЬНАЯ РАБОТА Задания на контрольную работу: 1. Проекционное черчение 2. Резьбовое соединение (соединение винтом). 3. Деталирование. Пневмоаппарат клапанный 02.000 сб. Выполнить рабочие чертежи деталей 1,2,6. Все чертежи и 3d модель + PDF (все на скриншотах показано и присутствует в архиве) выполнены в КОМПАС 3D. Также открывать и просматривать, печатать чертежи и 3D-модели, выполненные в КОМПАСЕ можно просмоторщиком КОМПАС-3D Viewer.
Чертежи Инженерная и компьютерная графика ТУСУР
User coolns : 12 февраля 2024
600 руб.
Инженерная графика. Вариант 3 ТУСУР promo
Инженерная графика. ТУСУР. Вариант 3
Вариант 3 Содержание контрольной работы Задание 1- проекционное черчение -лист 1 Задание 2- разъемное соединение - лист 2 Задание 3- деталирование - пневмоаппарат клапанный лист 3- клапан лист 4- седло клапана лист 5- корпус Содержание лабораторной работы 3D модель чертеж
Чертежи Инженерная и компьютерная графика ТУСУР
User djon237 : 1 августа 2023
800 руб.
Инженерная графика. ТУСУР. Вариант 3

Другие работы

Экзаменационная работа. Представление графической информации. Билет № 5
Билет 5 1. Источники и коды. Энтропия. Марковские и Бернуллиевские источники Условная вероятность и условная энтропия. 2. Построить код Хаффмена для источника со следующими вероятностями символов: P(0)=1/8; P(1)=3/4; P(2)=1/16; P(3)=1/16. Подсчитать среднюю длину кодового слова.
******* Не известно Работа Экзаменационная Представление графической информации
User ivanPBT22 : 28 мая 2015
150 руб.
Лабораторная работа № 3.5 по предмету "Метрология, стандартизация и сертификация". Вариант № 08.
Тема: Измерение параметров сигналов электронно-лучевым осциллографом Цель работы 1.1. Изучить принцип работы и структурную схему универсального электронно-лучевого осциллографа. 1.2. Получить практические навыки работы с электронно-лучевым осциллографом и измерительными генераторами. 1.3. Приобрести навыки измерения временных интервалов, напряжения, периода и частоты различных электрических сигналов с помощью электронного осциллографа. 1.4. Освоить методику оценки погрешности измерений, выполн
Метрология и стандартизация СибГУТИ Работа Лабораторная
User maxotto : 26 февраля 2013
150 руб.
Контрольная работа по дисциплине: Стандарты и технологии в системах мобильной связи. Вариант 01-04
***Данная контрольная подойдет для вариантов с 01 по 04 включительно*** Содержание Задание контрольной работы 3 1. Описание объекта проектирования 4 2. Общие принципы построения сетей беспроводного доступа 5 2.1 Архитектура сетей IEEE 802.11 5 2.2 Обзор стандартов IEEE 802.11 6 3. Выбор оборудования для организации беспроводной сети 10 3.1 Расчет сетевой нагрузки 10 3.2 Выбор оборудования 11 3.2.1 Точка доступа DAP-2660 12 3.2.2 Коммутатор для управления беспроводными точками доступа 13 3.3 Об
ДО СИБГУТИ Стандарты и технологии в системах мобильной связи Работа Контрольная
User Roma967 : 8 июля 2023
1000 руб.
promo
Основы инфокоммуникационных технологий. Контрольная работа. Вариант 05.
Контрольные вопросы: 2.6. Как выразить информативность сообщения через вероятность? 3.6. В чём заключаются удобства пользования логарифмическими единицами измерений? 4.6. Приведите структурную схему радиолинии. 6.1. С какой целью осуществляется мультиплексирование цифровых потоков в системах передачи?
СибГУТИ Основы инфокоммуникационных технологий Работа Контрольная
User student90s : 23 июля 2015
150 руб.
up Наверх