Функциональное программирование и интеллектуальные системы. Контрольная работа №1. Вариант №7. ТУСУР
-
Категории:
Работа Контрольная, Функциональное и логическое программирование, ТУСУР
-
Добавлен:
07.02.2018
-
Размер:
124 KB
-
Покупок:
7
-
Добавил:
Avn14
Написать сообщение
Скачать
Состав работы
|
|
task1.pl
|
|
task2.pl
|
Контрольная 1.docx
|
|
|
|
task1.pl
|
|
task2.pl
|
|
Контрольная 2.docx
|
|
|
|
task.pl
|
|
Контрольная 3.docx
|
Работа представляет собой zip архив с файлами (распаковать онлайн), которые открываются в программах:
- Microsoft Word
Описание
Контрольная работа № 1 (Вариант № 7)
Задание 1
Определите предикат p(+U, +V, -L) - истинный тогда и только тогда, когда список L есть список всех элементов списка U, не содержащихся в списке V.
Задание 2
Определите предикат p(+U, +V, -L) - истинный тогда и только тогда, когда L - список всех элементов, содержащихся либо в списке U, либо в списке V, но не одновременно в U и V.
Задание 1
Определите предикат p(+U, +V, -L) - истинный тогда и только тогда, когда список L есть список всех элементов списка U, не содержащихся в списке V.
Задание 2
Определите предикат p(+U, +V, -L) - истинный тогда и только тогда, когда L - список всех элементов, содержащихся либо в списке U, либо в списке V, но не одновременно в U и V.
Похожие материалы
Функциональное программирование и интеллектуальные системы
Сергей204
: 19 апреля 2018
5 курс
Контрольная работа №1 состоит из 15 вариантов по 2 задания в каждом (стр.15-19). Вариант №7
Контрольная работа №2 состоит из 8 вариантов по 2 задания в каждом (стр.19-22). Вариант№3
Контрольная работа №3 состоит из 7 вариантов по 2 задания в каждом (стр.23-27). Вариант №3
Сергей204
: 19 апреля 2018
300 руб.
Функциональное программирование и интеллектуальные системы. Контрольная работа 3. Вариант 3. ТУСУР
Avn14
: 7 февраля 2018
Задание 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 получается из логичес
Avn14
: 7 февраля 2018
50 руб.
Функциональное программирование и интеллектуальные системы. Контрольная работа 2. Вариант 3. ТУСУР
Avn14
: 7 февраля 2018
Контрольная работа № 2 (Вариант 3)
Задание 1
Напишите предикат p(+L, -N) - истинный тогда и только тогда, когда N – количество различных элементов списка L.
Задание 2
Напишите предикат p(+X, +Y, -Z) - истинный тогда и только тогда, когда Z есть "пересечение" списков X и Y, т.е. список, содержащий их общие элементы, причем кратность каждого элемента в списке Z равняется минимуму из его кратностей в списках X и Y.
Avn14
: 7 февраля 2018
50 руб.
Инженерная графика. Вариант 7 ТУСУР
coolns
: 15 февраля 2024
Инженерная графика. Вариант 7 ТУСУР
ГРАФИЧЕСКАЯ КОНТРОЛЬНАЯ РАБОТА
Задания на контрольную работу:
1. Проекционное черчение
2. Резьбовое соединение (соединение винтом).
3. Деталирование. Пневмоаппарат клапанный 09.000 Сб Выполнить рабочие чертежи деталей 2,11,12.
Все чертежи и 3d модель + PDF (все на скриншотах показано и присутствует в архиве) выполнены в КОМПАС 3D.
Также открывать и просматривать, печатать чертежи и 3D-модели, выполненные в КОМПАСЕ можно просмоторщиком КОМПАС-3D Viewer.
coolns
: 15 февраля 2024
600 руб.
Инженерная графика. ТУСУР. Вариант 7
djon237
: 2 августа 2023
Вариант 7
Содержание контрольной работы
Задание 1- проекционное черчение -лист 1
Задание 2- разъемное соединение - лист 2
Задание 3- деталирование - пневмоаппарат клапанный
лист 3- шпиндель
лист 4- корпус
лист 5- штуцер
Содержание лабораторной работы
3D модель
чертеж
djon237
: 2 августа 2023
800 руб.
Математическая логика. Зюзьков. Томск. ТУСУР. 20 задач. Контрольные работы №№1 и 2. Вариант №7
Максим102
: 15 июля 2014
Контрольная работа 1
Вариант 7 1. Перевести на формальный язык (обязательно указываете универсум):
«Нет действительных чисел, больших ».
2. Перевести на формальный язык (обязательно указываете универсум):
«Если будешь хорошо учиться, поступишь в вуз, а иначе провалишься».
3. Перевести с формального языка на человеческий:
x, y, z (Z(x) & Z(y) & Z(z) & x y & y z & z x) x Z(x), где Z – знать тайну.
4. Перевести на формальный язык (обязательно указываете универсум):
«Некоторые подушки
Максим102
: 15 июля 2014
400 руб.
Контрольная работа №1. Метрология. Вариант №5. ТУСУР.
poststud
: 8 июля 2015
Контрольная работа No 1 Метрология, стандартизация и сертификация по В. Ф. Отчалко. Вариант 5 ТУСУР
Контрольная работа состоит из 5 задач (по одной в каждой теме). Номер варианта выбирается из таблицы 5.1
5.1 Задача
5) Известно, что границы доверительного интервала погрешности измерения частоты равны ±10 Гц при доверительной вероятности P_D=0,75. Считая, что погрешность распределена по нормальному закону с нулевым математическим ожиданием, определить границы интервала с доверительной вероятность
poststud
: 8 июля 2015
100 руб.
IT Консалтинг. Контрольная работа №1. Вариант №11. ТУСУР
Avn14
: 7 февраля 2018
Данная работа посвящена рассмотрению профессионального сообщества в области консалтинга «Syntec Management».
Введение 2
1.Syntec Management 5
2.Электронные ресурсы Syntec Management 7
Заключение 9
Список используемой литературы 10
Avn14
: 7 февраля 2018
50 руб.
Другие работы
СИБИТ. Кейс 2. 4 задания. 2016
studypro
: 28 марта 2016
КЕЙС 2
Задание 2.1. Рассмотрите возможность создания собственной организации. Учитывая возможную направленность деятельности организации (отрасль, предполагаемые виды продукции и услуг, конкретные стартовые условия) и современные российские правовые нормы (Гражданский кодекс РФ, Федеральный закон от 08.02.1998 г. No 14-ФЗ «Об акционерных обществах» и др.), обоснуйте выбор организационно-правовой формы хозяйствования.
Задание 2.2. Оценка кредитных рисков (российская практика)
Одним из крупнейших
studypro
: 28 марта 2016
500 руб.
Написание проекта «Современная образовательная организация».
alexey2021
: 1 ноября 2023
Год сдачи 2023 год.
Написание проекта «Современная образовательная организация».
Требования к структуре и содержанию проекта:
Тип организации, название.
Миссия.
Концепция.
Анализ внешней и внутренней среды.
Цель, задачи.
Стратегия.
Организационная модель.
Организационная структура. Критерии оценки эффективности организационной структуры.
Риски и финансовая база.
Список литературы.
Доклад к проекту в котором указаны:
1. Актуальность. Существуе
alexey2021
: 1 ноября 2023
1000 руб.
Эконометрика. Экзамен. Вариант №38
Mixhot
: 30 апреля 2016
Изучается зависимость цены на некоторый товар длительного пользования в магазинах не маленького города. Имеются данные о цене товара в 120 магазинах, а также такая дополнительная информация, как:
• Цена товара в соседних магазинах (оценена экспертами-маркетологами по ближайшим 5 магазинам, в которых продается такой же товар);
• Расстояние от магазина до ближайшей станции метро (условная дистанция до ближайшей станции метро по пешим маршрутам, считающимся удобными);
• Является ли данный магазин ч
Mixhot
: 30 апреля 2016
500 руб.
Делопроизводство.2-й семестр ДО
rukand
: 22 марта 2013
Контрольная работа должна иметь следующее содержание :
Введение
Перечень реквизитов и их краткая характеристика
Основные управленческие документы
Заключение
Список используемых источников
При подготовке работы каждый раздел, указанный в содержании, оформляется на новом листе бумаги, для заголовка используется шрифт №16 Ж, начальная буква в заголовке – прописная, точки после цифры раздела и в конце заголовка не ставятся.
Работа должна быть пронумерована, номер страницы проставляется в правом ве
rukand
: 22 марта 2013
90 руб.
