Дискуссионный математический форумМатематический форум
Математический форум Math Help Planet

Обсуждение и решение задач по математике, физике, химии, экономике

Теоретический раздел
Часовой пояс: UTC + 3 часа [ Летнее время ]
новый онлайн-сервис
число, сумма и дата прописью

Часовой пояс: UTC + 3 часа [ Летнее время ]




Начать новую тему Ответить на тему  [ Сообщений: 12 ]  На страницу Пред.  1, 2
Автор Сообщение
 Заголовок сообщения: Re: Предикаты
СообщениеДобавлено: 02 май 2018, 20:22 
Не в сети
Оракул
Зарегистрирован:
08 фев 2018, 16:46
Сообщений: 994
Cпасибо сказано: 102
Спасибо получено:
1 раз в 1 сообщении
Очков репутации: 1

Добавить очки репутацииУменьшить очки репутации
[math]A(x,y)=true<=>\exists z|x=yz[/math]
[math]B(x,y)=true<=>x-y>=0[/math]

Вернуться к началу
 Профиль  
Cпасибо сказано 
 Заголовок сообщения: Re: Предикаты
СообщениеДобавлено: 02 май 2018, 22:40 
Не в сети
Оракул
Зарегистрирован:
08 фев 2018, 16:46
Сообщений: 994
Cпасибо сказано: 102
Спасибо получено:
1 раз в 1 сообщении
Очков репутации: 1

Добавить очки репутацииУменьшить очки репутации
z — наибольший общий делитель x и y <=>A(x,z)и A(y,z) и если существует z1|A(x,z1)и A(y,z1)то z=z1 или B(z1,z)

B(x,y)=true<=>существует z| x=y+z
A(x,y)=true<=>∃z|x=yz

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

 Похожие темы   Автор   Ответы   Просмотры   Последнее сообщение 
Предикаты

в форуме Дискретная математика, Теория множеств и Логика

in+yan

2

271

18 май 2020, 19:40

Предикаты

в форуме Дискретная математика, Теория множеств и Логика

kam kam

1

146

12 июн 2020, 12:19

Предикаты

в форуме Дискретная математика, Теория множеств и Логика

huffy

11

708

27 ноя 2017, 16:37

Предикаты

в форуме Дискретная математика, Теория множеств и Логика

kot999cash

1

191

05 апр 2020, 19:30

Предикаты

в форуме Дискретная математика, Теория множеств и Логика

Craizi8

2

153

05 дек 2020, 21:48

Предикаты

в форуме Дискретная математика, Теория множеств и Логика

Keccear

5

385

14 фев 2021, 15:51

Матлогика. Предикаты

в форуме Дискретная математика, Теория множеств и Логика

milkyway

3

297

01 дек 2022, 02:23

Высказывания и предикаты

в форуме Дискретная математика, Теория множеств и Логика

evaf

14

265

14 окт 2020, 10:52

Высказывания и предикаты

в форуме Дискретная математика, Теория множеств и Логика

nad27

1

167

25 май 2020, 17:50

Предикаты и высказывания

в форуме Дискретная математика, Теория множеств и Логика

umka1989umka

12

479

10 ноя 2017, 15:17


Часовой пояс: UTC + 3 часа [ Летнее время ]



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

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


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

Найти:
Перейти:  

Яндекс.Метрика

Copyright © 2010-2023 MathHelpPlanet.com. All rights reserved