0 / 0 / 2
Регистрация: 06.06.2013
Сообщений: 30
|
|
| 1 | |
формализование лог суждений. В чем ошибки?18.12.2013, 11:17. Показов 547. Ответов 0
Метки нет (Все метки)
1.Формализовать логическое суждение,введя одноместные предикаты А(х)-х-охотник; В(х)-есть ружье; С(х)-всегда подстреливает [IMG]https://www.cyberforum.ru/cgi-bin/latex.cgi?\not \forall (x) (A(x)*C(x))[/IMG] -Не каждому охотнику удается всегда подстрелить дичь. Что не так?Учительница написала что-то вроде 2.Формализовать введя двуместные предикаты А(х)-быть первокурсником; В(у)-быть спортсменом;С(z)-быть ловцом; D(x,y)-x знаком с у Ни один из первокурсников не знаком ни с одним любителем подледного лова [IMG]https://www.cyberforum.ru/cgi-bin/latex.cgi?\not \exist(x) \not \exist(z) (A(x)*C(z)\rightarrow \not D(x,z))[/IMG]
0
|
|
(| 18.12.2013, 11:17 | |
|
Ответы с готовыми решениями:
0
Формализование логических суждений,введение предикатов Ошибки лог-файла Ошибки приложения в лог |
| 18.12.2013, 11:17 | ||||||
|
Помогаю со студенческими работами здесь
1
Чем открыть двоичный лог? В чем ошибка у лог. условия Композитный сайт ошибки в лог файле
о чем может говорить этот лог Искать еще темы с ответами Или воспользуйтесь поиском по форуму:
|
|
 Редактор формул (кликните на картинку в правом углу, чтобы закрыть)
|
|
Новые блоги и статьи
|
||||
|
Kafka или Pulsar: Что лучше для потоковой обработки в Java
Javaican 14.03.2025
Среди множества решений для потоковой обработки данных Apache Kafka долгое время удерживала лидирующие позиции, став де-факто стандартом в индустрии. Однако в последние годы всё больше внимания. . .
|
Создание и использование компонентов в Vue 3
Reangularity 14.03.2025
Компонент в Vue - это автономный блок интерфейса, который содержит собственную разметку, логику и стили. Представьте себе кнопку, форму ввода или даже целую панель навигации - всё это можно оформить. . .
|
Vue 3: Создаем современное веб-приложение с Composition API
Reangularity 14.03.2025
В фронтенд-разработке Vue 3 выделяется своим прагматичным подходом. В отличие от React с его минималистичной философией "всё — JavaScript" или Angular с его всеобъемлющим корпоративным подходом, Vue. . .
|
Разработка контекстных меню в iOS
mobDevWorks 14.03.2025
С приходом iOS 13 Apple представила новый API для контекстных меню, который полностью заменил предыдущую технологию 3D Touch peek & pop. Хотя многие разработчики и пользователи испытывают ностальгию. . .
|
Лучшие практики оптимизации Docker Image
Mr. Docker 13.03.2025
Размер Docker-образа влияет на множество аспектов работы с контейнерами. Чем больше образ, тем дольше его загрузка в реестр и выгрузка из него. Для команд разработки, работающих с CI/ CD пайплайнами,. . .
|
|
Вопросы на собеседовании по Docker
Mr. Docker 13.03.2025
Ты сидишь напротив технического специалиста, и вдруг звучит вопрос про Docker Swarm или многоэтапные сборки. Пот на лбу? Не переживай, после этой статьи ты будешь готов ко всему! Эта статья будет. . .
|
Поиск текста в сносках : замена дефиса на тире или тире на дефис...
РоΜа 13.03.2025
Нужно было найти текст в сносках и заменить. Почему-то метод селекшн не сработал. . . пришлось гуглить. найденный на форумвба код пришлось править. Смысл - заменяет в сносках дефисы и тире на нужные. . . .
|
Real PATH definitions in bash scripts
jigi33 13.03.2025
Как поймать путь и путь к директории относительно запускаемого файла в BASH
1. поймать путь через вывод $(pwd)
2. более правильно - на основе realpath (см. скриншот)
|
Django или Flask: что выбрать для веб-разработки на Python
py-thonny 13.03.2025
Django – это высокоуровневый фреймворк, который придерживается философии "всё включено". Он предоставляет разработчику готовые решения для большинства типичных задач веб-разработки: от аутентификации. . .
|
Непрерывное развертывание в Java с Kubernetes
Javaican 13.03.2025
Чем так привлекателен Kubernetes для развертывания Java-приложений? Этот оркестратор контейнеров позволяет автоматизировать развертывание, масштабирование и управление контейнеризированными. . .
|