2014 dxdy logo

Научный форум dxdy

Математика, Физика, Computer Science, Machine Learning, LaTeX, Механика и Техника, Химия,
Биология и Медицина, Экономика и Финансовая Математика, Гуманитарные науки




Начать новую тему Ответить на тему На страницу Пред.  1, 2, 3, 4
 
 Re: Задачи на формализацию
Сообщение14.11.2013, 18:50 
Заслуженный участник
Аватара пользователя


18/01/13
12044
Казань
Я привыкла говорить "соотношение", отношение - частный случай. Можно сказать соответствие, тоже неплохо. Что касается "возраста", он был определён ранее, в примере, здесь просто вырван кусок из текста. Но по смыслу можно определить самостоятельно.

 Профиль  
                  
 
 Re: Задачи на формализацию
Сообщение13.02.2019, 14:07 
Аватара пользователя


17/04/11
658
Ukraine
Как я понимаю, здесь нужны не головоломки, а простые задачи, требующие знания формальной логики. Например, «Истинно ли утверждение «Все единороги умеют летать»?». Исходим из того, что единорогов не существует.

 Профиль  
                  
 
 Re: Задачи на формализацию
Сообщение13.02.2019, 14:45 


10/03/16
3871
Aeroport
beroal в сообщении #1375759 писал(а):
Истинно ли утверждение «Все единороги умеют летать»?


Очевидно, что это так ). Смотрите: у нас есть таблица, содержащая столбцы "Вид создания" и "Способность к полёту". Для того чтобы ваше утверждение было истинным, необходимо чтобы сумма по битовой маске "Вид создания = Единороги" и сумма побитового произведения масок "Вид создания = Единороги" & "Способность к полёту = Да" совпадали. 0 == 0, поэтому ответ на ваш вопрос "да".

 Профиль  
                  
 
 Re: Задачи на формализацию
Сообщение23.02.2019, 16:49 


12/05/07
566
г. Уфа
Nemiroff в сообщении #785783 писал(а):
$A \not\!\cap B$
Вау! Это новый значок. Пусть $C=A \not\!\cap B$. Дайте формальное (или неформальное) определение множества $C$. :D

 Профиль  
                  
Показать сообщения за:  Поле сортировки  
Начать новую тему Ответить на тему  [ Сообщений: 49 ]  На страницу Пред.  1, 2, 3, 4

Модераторы: Модераторы, Супермодераторы



Кто сейчас на конференции

Сейчас этот форум просматривают: нет зарегистрированных пользователей


Вы не можете начинать темы
Вы не можете отвечать на сообщения
Вы не можете редактировать свои сообщения
Вы не можете удалять свои сообщения
Вы не можете добавлять вложения

Найти:
Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group