НГУ

Форумы НГУ
Текущее время: Вт окт 16, 2018 7:53 pm

Часовой пояс: UTC + 7 часов




Начать новую тему Ответить на тему  [ Сообщений: 5 ] 
Автор Сообщение
 Заголовок сообщения: Срочно :( логика
СообщениеДобавлено: Чт апр 22, 2004 5:40 pm 
Помогите - ну никак не понимаю. В прошлый раз начали проходить Исчисление Предикатов
#1) Цитата одного из пунктов задачи:
Является ли термом слово:
g2(f1(v2,h3(v0,v1,v2)) , где g2- 2ух метный, f1- 1но местный, h3- 3х местный функц. символ
Что самое интересное ответ - ДА, хотя там есть f1(v2, ...) .
Опечатка? Или я не правильно понимаю определение термов?
#2) Пусть σ0 = (c,d), σ1 = (p3)
p3 - 3-ёх местный предикат, c,d - константы
Какова мощность семейства всех систем σ0 ( σ1 ) c носителем N(натуральные ч-ла)?

Заранее спасибо!


Вернуться к началу
  
 
 Заголовок сообщения:
СообщениеДобавлено: Чт апр 22, 2004 7:46 pm 
Не в сети
Плодовитый автор

Зарегистрирован: Вт мар 23, 2004 10:09 pm
Сообщения: 747
Откуда: Gavryushkin
1) Это не терм хотя бы потому, что число открывающих скобок не
равно числу закрывающих :)

2) такова, сколькими способами можно интерпретировать сигнатуру.

_________________
Ненужность матана — не повод его не осилить


Вернуться к началу
 Профиль  
 
 Заголовок сообщения: Re: Срочно :( логика
СообщениеДобавлено: Чт апр 22, 2004 9:36 pm 
Не в сети
Непрерывный писатель

Зарегистрирован: Пт сен 07, 2001 7:00 am
Сообщения: 2844
Откуда: Станислав Березнюк
Тупой Баран писал(а):
#1) Цитата одного из пунктов задачи:
Является ли термом слово:
g2(f1(v2,h3(v0,v1,v2)) , где g2- 2ух метный, f1- 1но местный, h3- 3х местный функц. символ
Что самое интересное ответ - ДА, хотя там есть f1(v2, ...) .
Опечатка? Или я не правильно понимаю определение термов?


4-е или 5-е издание задачника, да? :) Там опечатка, в предыдущих изданиях скобки стояли по-другому:

g2(f1(v2),h3(v0,v1,v2))

_________________
Мордор жил, Мордор жив, Мордор будет жить!


Вернуться к началу
 Профиль  
 
 Заголовок сообщения:
СообщениеДобавлено: Чт апр 22, 2004 10:02 pm 
slb, да - четвертое. Спасибо - успокоили, я уж начал думать про себя.... :)
Alexandr - по поводу второй задачи - поподробнее нельзя? Заранее благодарен.


Вернуться к началу
  
 
 Заголовок сообщения:
СообщениеДобавлено: Чт апр 22, 2004 10:09 pm 
Не в сети
Плодовитый автор

Зарегистрирован: Вт мар 23, 2004 10:09 pm
Сообщения: 747
Откуда: Gavryushkin
А что тут подробнее? Ну, например, для \sigma_0: есть два
константных символа, их можно интерпретировать элементами
носителя. Сколькими способами можно это сделать, столько и будет
моделей. Посчитать количество способов потрудитесь сами. Случай
сигнатуры \sigma_1 --- аналогично.

_________________
Ненужность матана — не повод его не осилить


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

Часовой пояс: UTC + 7 часов


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

Сейчас этот форум просматривают: Google [Bot] и гости: 11


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

Найти:
Перейти:  
Создано на основе phpBB® Forum Software © phpBB Group
Русская поддержка phpBB