НГУ
http://forum.nsu.ru/

Срочно :( логика
http://forum.nsu.ru/viewtopic.php?f=18&t=3153
Страница 1 из 1

Автор:  Тупой Баран [ Чт апр 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(натуральные ч-ла)?

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

Автор:  Alexandr [ Чт апр 22, 2004 7:46 pm ]
Заголовок сообщения: 

1) Это не терм хотя бы потому, что число открывающих скобок не
равно числу закрывающих :)

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

Автор:  slb [ Чт апр 22, 2004 9:36 pm ]
Заголовок сообщения:  Re: Срочно :( логика

Тупой Баран писал(а):
#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 - по поводу второй задачи - поподробнее нельзя? Заранее благодарен.

Автор:  Alexandr [ Чт апр 22, 2004 10:09 pm ]
Заголовок сообщения: 

А что тут подробнее? Ну, например, для \sigma_0: есть два
константных символа, их можно интерпретировать элементами
носителя. Сколькими способами можно это сделать, столько и будет
моделей. Посчитать количество способов потрудитесь сами. Случай
сигнатуры \sigma_1 --- аналогично.

Страница 1 из 1 Часовой пояс: UTC + 7 часов
Powered by phpBB® Forum Software © phpBB Group
https://www.phpbb.com/