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

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

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

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




Начать новую тему Ответить на тему  [ Сообщений: 4 ] 
Автор Сообщение
 Заголовок сообщения: Язык предикатов
СообщениеДобавлено: 30 май 2013, 15:11 
Не в сети
Начинающий
Зарегистрирован:
30 май 2013, 15:05
Сообщений: 1
Cпасибо сказано: 0
Спасибо получено:
0 раз в 0 сообщении
Очков репутации: 1

Добавить очки репутацииУменьшить очки репутации
Записать на языке предикатов:
а)Сумма целых чисел - целое число
б)Если плоскости пересекаются, то они имеют единственную общую прямую

Прошу помощи :)
Завтра сдавать...а я вот даже этого не знаю
Кстати, не нашёл ничего толкового по переводу в язык предикатов, если есть информация, поделитесь Пожалуйста ссылкой.

Вернуться к началу
 Профиль  
Cпасибо сказано 
 Заголовок сообщения: Re: Язык предикатов
СообщениеДобавлено: 30 май 2013, 17:20 
Не в сети
Light & Truth
Зарегистрирован:
23 авг 2010, 22:28
Сообщений: 4430
Cпасибо сказано: 565
Спасибо получено:
1075 раз в 952 сообщениях
Очков репутации: 315

Добавить очки репутацииУменьшить очки репутации
Dazerr писал(а):
не нашёл ничего толкового по переводу в язык предикатов


Игошин, Математическая логика и теория алгоритмов; он же, Задачи и упражнения по математической логике и теории алгоритмов.

Вернуться к началу
 Профиль  
Cпасибо сказано 
 Заголовок сообщения: Re: Язык предикатов
СообщениеДобавлено: 30 май 2013, 18:30 
Не в сети
Оракул
Зарегистрирован:
09 сен 2011, 12:29
Сообщений: 760
Cпасибо сказано: 16
Спасибо получено:
221 раз в 185 сообщениях
Очков репутации: 89

Добавить очки репутацииУменьшить очки репутации
Приведите попытки решения, задачи простые

Вернуться к началу
 Профиль  
Cпасибо сказано 
 Заголовок сообщения: Re: Язык предикатов
СообщениеДобавлено: 30 май 2013, 22:59 
Не в сети
Верховный модератор
Аватара пользователя
Зарегистрирован:
13 окт 2010, 13:09
Сообщений: 19961
Откуда: Пермь + Одесса
Cпасибо сказано: 11721
Спасибо получено:
5319 раз в 4796 сообщениях
Очков репутации: 708

Добавить очки репутацииУменьшить очки репутации
Ellipsoid писал(а):
Dazerr писал(а):
не нашёл ничего толкового по переводу в язык предикатов


Игошин, Математическая логика и теория алгоритмов; он же, Задачи и упражнения по математической логике и теории алгоритмов.
Или книга Соловьёва "Дискретная математика без формул"

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

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

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

art33

5

1298

20 фев 2016, 04:16

Переведите высказывания на язык формул исчисления предикатов

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

sir_frags

5

565

01 июн 2017, 21:30

Перевод высказываний зыка на язык исчисления предикатов

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

Ar4in

8

220

12 май 2022, 18:00

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

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

kotel62

1

122

12 ноя 2022, 12:04

Язык Julia

в форуме Информатика и Компьютерные науки

Emphatic18

4

413

30 апр 2019, 13:25

Перевод на математический язык

в форуме Пределы числовых последовательностей и функций, Исследования функций

Bonaqua

30

2215

26 июн 2014, 14:02

Задачка (перевод на мат. язык)

в форуме Алгебра

Ilya83

6

514

25 авг 2018, 16:51

А. Эйнштейн показывает мне язык

в форуме Палата №6

Trakovski

108

5700

18 сен 2015, 21:31

Доказать, что язык нерегулярный

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

Andriuser007

1

153

30 сен 2017, 22:35

перевести на формальный язык

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

LeraLeics

2

224

21 дек 2022, 22:00


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



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

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


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

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

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

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