НГУ

Форумы НГУ
Текущее время: Пн фев 18, 2019 5:47 am

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




Начать новую тему Ответить на тему  [ Сообщений: 18 ]  На страницу Пред.  1, 2
Автор Сообщение
 Заголовок сообщения:
СообщениеДобавлено: Пн мар 13, 2006 6:50 pm 
Не в сети
Весьма плодовитый автор

Зарегистрирован: Чт сен 27, 2001 7:00 am
Сообщения: 1637
slb писал(а):
Т.е. набор формул Гi - это "конечный непустой набор формул"?

Он может быть пустым. Вы, может быть, проблемы с запятой видите? Это, безусловно, некая формальная вольность - если в секвенции
Г1,А,Г2,А,Г3 |- B
набор Г1 пустой, то секвенция имеет вид
А,Г2,А,Г3 |- B,
а не
,А,Г2,А,Г3 |- B.
В задачнике эта же неточность повсеместно присутствует. Видимо, совсем точная запись была бы невыносимо занудной.

_________________
Не беги от снайпера - умрёшь усталым


Вернуться к началу
 Профиль  
 
 Заголовок сообщения:
СообщениеДобавлено: Пн мар 13, 2006 7:07 pm 
Не в сети
Непрерывный писатель

Зарегистрирован: Пт сен 07, 2001 7:00 am
Сообщения: 2844
Откуда: Станислав Березнюк
Pavel E. Alaev писал(а):
slb писал(а):
Т.е. набор формул Гi - это "конечный непустой набор формул"?

Он может быть пустым. Вы, может быть, проблемы с запятой видите?


Нет, я о другом: возможен ли набор вида "Г1, А, А, Г3", т.е. обязан ли набор Г2 быть непустым?

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


Вернуться к началу
 Профиль  
 
 Заголовок сообщения:
СообщениеДобавлено: Вт мар 14, 2006 11:15 pm 
Не в сети
Весьма плодовитый автор

Зарегистрирован: Чт сен 27, 2001 7:00 am
Сообщения: 1637
slb писал(а):
Нет, я о другом: возможен ли набор вида "Г1, А, А, Г3", т.е. обязан ли набор Г2 быть непустым?

Возможен.

_________________
Не беги от снайпера - умрёшь усталым


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

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


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

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


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

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