ООП. Полиморфизм

@_KaTyA_ · Регистрация: 01.11.2016

Author24 — интернет-сервис помощи студентам

Мальчики, учусь на МехМате. Для сдачи зачёта по ООП необходимо написать последнюю программу:
Задание: полиморфизм

Указание: во всех задачах ввод исходных данных необходимо производить из текстовых файлов. Ошибки ввода и неправильного формата входных данных необходимо обрабатывать при помощи исключений.

Программа на языке логического программирования состоит из следующих конструкций: 1. Факт, утверждающий истинность терма с именем x. 2. Правило, утверждающее истинность терма с именем x, если истинны термы y1, y2, ... 3. Операция ввода, запрашивающая истинность заданного терма x у пользователя. Все правила для одного терма x объединены дизъюнкицией и применяются в порядке их появления в программе. Необходимо реализовать машину вывода, проверяющую истинность заданного терма x или обнаруживающую зацикливание в результате применения заданного набора конструкций. В процессе доказательства необходимо выводить информацию о применяемых конструкциях.

Необходимо использовать полиморфизм, базовый класс, от него 3 производных класса(факт, правило, ввод), и виртуальные функции с их применением в зависимости от поступающих данных.

Всё остальные задачи сделала, а здесь даже не знаю как подступиться к этому заданию, мне бы хоть идею, примерное описание как это должно выглядеть. А если у кого есть время и желание и кто - нибудь напишет хоть примерный код, буду безмерно благодарна)))

@Kastaneda · 30.05.2013, 12:52

Сообщение от _Katya_

Программа на языке логического программирования

Что-то ты путаешь, С++ не язык логического программирования.

@Dmitriy_M · 30.05.2013, 13:41

Kastaneda, в том то и суть, что бы сделать ООП программу решающую логическую задачу

@Kastaneda · 30.05.2013, 13:50

Сообщение от Dmitriy_M

что бы сделать ООП программу решающую логическую задачу

Я не об этом, просто есть языки логического программирования, к которым С++ не относится.

Может суть в том, чтобы реализовать на С++ а-ля движок языка ЛП, например в Prolog'е в ядро языка зашит алгоритм backtracking.

@Dmitriy_M · 30.05.2013, 14:20

Сообщение от Kastaneda

зашит алгоритм backtracking.

метод резолюций + backtracking

@_KaTyA_ · 30.05.2013, 15:14

Да, в том то и дело, что требуется на с++ написать программу, решающую логическую задачу, и даже не знаю как начать

@Andrew_Lvov · 13.07.2013, 13:12

Уже начал писать ответ, но конец мая же. Млин.
Екатерина, как справились с задачей ?

Новые блоги и статьи
Как создать интернет-магазин на PHP и JavaScript InfoMaster 14.01.2025 В современном мире электронная коммерция стала неотъемлемой частью бизнеса. Создание собственного интернет-магазина открывает широкие возможности для предпринимателей, позволяя достичь большей. . .	Как написать Тетрис на Ассемблере InfoMaster 14.01.2025 Тетрис – одна из самых узнаваемых и популярных компьютерных игр, созданная в 1984 году советским программистом Алексеем Пажитновым. За прошедшие десятилетия она завоевала симпатии миллионы людей по. . .	Как создать игру "Танчики" на Unity3d и C# InfoMaster 14.01.2025 Разработка игр – это увлекательный процесс, сочетающий в себе творчество и технические навыки. В этой статье мы рассмотрим создание классической игры "Танчики" с использованием Unity3D и языка. . .	Организую платный онлайн микро-курс по доработке Android-клиента Telegram _Ivana 14.01.2025 Официальная версия и распространенные форки не полностью устраивают? Сделай свою кастомную версию клиента! 4 занятия по 2 часа (2 недели пн, ср 19:00-21:00 по Москве). Первое вводное занятие. . .	Как создать приложение для фитнеса для iOS/iPhone на Kotlin InfoMaster 14.01.2025 Создание собственного фитнес-приложения — это не только захватывающий, но и полезный процесс, ведь оно может стать вашим верным помощником на пути к здоровому и активному образу жизни. В современных. . .	Как создать приложение магазина для iOS/iPhone на Swift InfoMaster 14.01.2025 Введение в разработку iOS-приложений Разработка приложений для iPhone и других устройств на базе iOS открывает огромные возможности для создания инновационных мобильных решений. В данной статье мы. . .
Это работает. Скорость асинхронной логики велика. Вопрос видимо останется в стабильности. Плата - огонь! Hrethgir 13.01.2025 По прошлому проекту в Logisim Evolution https:/ / www. cyberforum. ru/ blogs/ 223907/ blog8781. html прилагаю файл архива проекта Gowin Eda и снимок. Восьмибитный счётчик из сумматора+ генератор сигнала. . .	UserScript для подсветки кнопок языков программирования в зависимости от текущего раздела volvo 13.01.2025 В результате работы этого скрипта подсвечиваются нужные кнопки не только в форме быстрого ответа, но и при редактировании сообщения: / / ==UserScript== / / @name CF_DefaultLangSelect / / . . .	Введение в модели и алгоритмы машинного обучения InfoMaster 12.01.2025 Машинное обучение представляет собой одну из наиболее динамично развивающихся областей искусственного интеллекта, которая фокусируется на разработке алгоритмов и методов, позволяющих компьютерам. . .	Как на Python создать нейросеть для решения задач InfoMaster 12.01.2025 В контексте стремительного развития современных технологий особое внимание уделяется таким инструментам, как нейросети. Эти структуры, вдохновленные биологическими нейронными сетями, используются для. . .	Как создать нейросеть для генерации картинок на Python InfoMaster 12.01.2025 Генерация изображений с помощью искусственных нейронных сетей стала одним из наиболее захватывающих направлений в области компьютерного зрения и машинного обучения. В этой статье мы рассмотрим. . .	Создание нейросети для генерации текста на Python InfoMaster 12.01.2025 Нейросети, или искусственные нейронные сети, представляют собой модели машинного обучения, вдохновленные работой человеческого мозга. Они состоят из множества взаимосвязанных узлов, или "нейронов",. . .

@_KaTyA_ 1 / 1 / 0 Регистрация: 01.11.2016 Сообщений: 4
		1
	ООП. Полиморфизм 30.05.2013, 11:28. Показов 1599. Ответов 6 Метки нет (Все метки) Мальчики, учусь на МехМате. Для сдачи зачёта по ООП необходимо написать последнюю программу: Задание: полиморфизм Указание: во всех задачах ввод исходных данных необходимо производить из текстовых файлов. Ошибки ввода и неправильного формата входных данных необходимо обрабатывать при помощи исключений. Программа на языке логического программирования состоит из следующих конструкций: 1. Факт, утверждающий истинность терма с именем x. 2. Правило, утверждающее истинность терма с именем x, если истинны термы y1, y2, ... 3. Операция ввода, запрашивающая истинность заданного терма x у пользователя. Все правила для одного терма x объединены дизъюнкицией и применяются в порядке их появления в программе. Необходимо реализовать машину вывода, проверяющую истинность заданного терма x или обнаруживающую зацикливание в результате применения заданного набора конструкций. В процессе доказательства необходимо выводить информацию о применяемых конструкциях. Необходимо использовать полиморфизм, базовый класс, от него 3 производных класса(факт, правило, ввод), и виртуальные функции с их применением в зависимости от поступающих данных. Всё остальные задачи сделала, а здесь даже не знаю как подступиться к этому заданию, мне бы хоть идею, примерное описание как это должно выглядеть. А если у кого есть время и желание и кто - нибудь напишет хоть примерный код, буду безмерно благодарна))) 0

@Kastaneda 5232 / 3204 / 362 Регистрация: 12.12.2009 Сообщений: 8,143 Записей в блоге: 2
	30.05.2013, 12:52	2
	Сообщение от _Katya_ Программа на языке логического программирования Что-то ты путаешь, С++ не язык логического программирования. 0

@Dmitriy_M 1443 / 1326 / 131 Регистрация: 20.03.2009 Сообщений: 4,689 Записей в блоге: 11
	30.05.2013, 13:41	3
	Kastaneda, в том то и суть, что бы сделать ООП программу решающую логическую задачу 0

@Kastaneda 5232 / 3204 / 362 Регистрация: 12.12.2009 Сообщений: 8,143 Записей в блоге: 2
	30.05.2013, 13:50	4
	Сообщение от Dmitriy_M что бы сделать ООП программу решающую логическую задачу Я не об этом, просто есть языки логического программирования, к которым С++ не относится. Может суть в том, чтобы реализовать на С++ а-ля движок языка ЛП, например в Prolog'е в ядро языка зашит алгоритм backtracking. 0

@Dmitriy_M 1443 / 1326 / 131 Регистрация: 20.03.2009 Сообщений: 4,689 Записей в блоге: 11
	30.05.2013, 14:20	5
	Сообщение от Kastaneda зашит алгоритм backtracking. метод резолюций + backtracking 0

@_KaTyA_ 1 / 1 / 0 Регистрация: 01.11.2016 Сообщений: 4
	30.05.2013, 15:14	6
	Да, в том то и дело, что требуется на с++ написать программу, решающую логическую задачу, и даже не знаю как начать 0

@Andrew_Lvov 261 / 191 / 10 Регистрация: 19.08.2010 Сообщений: 760 Записей в блоге: 1
	13.07.2013, 13:12	7
	Уже начал писать ответ, но конец мая же. Млин. Екатерина, как справились с задачей ? 0