|
Первый коллоквиум [информатика]
|
|
| Leds | Дата: Четверг, 25.10.2007, 23:51 | Сообщение # 51 |
|
Генералиссимус
Группа: Администраторы
Сообщений: 129
Статус: Offline
| Можете кто-нибудь мне объяснить почему e -> id -> (i+j = 3) или e -> id -> ({exist}x{belong}[0,1] x**2 >= x) может быть, а e -> id -> (x**2 + x) не может быть?
Jabber: leds.89@gmail.com
|
| |
| |
| sma39 | Дата: Пятница, 26.10.2007, 00:10 | Сообщение # 52 |
 Лейтенант
Группа: 61
Сообщений: 114
Статус: Offline
|
это чего такое? Ну возвели х в квадрат, увеличили на х. И чего? Надо же с этим что нибудь сделать. С нулем сравнить, или еще чего. Например х=х**2+х. А написанное это пустое место.
|
| |
| |
| y0ma | Дата: Пятница, 26.10.2007, 00:48 | Сообщение # 53 |
 Рядовой
Группа: 11
Сообщений: 14
Статус: Offline
| Правильно пишет sma39.
Идентификаторы могут быть заменены только на выражения ЛОГИЧЕСКОГО типа!
(x**2 + x) - явно, выражение не логического типа => о такой замене не может быть и речи
Я в контакте, skype: y0ma97
|
| |
| |
| ldo2 | Дата: Пятница, 26.10.2007, 08:33 | Сообщение # 54 |
 Сержант
Группа: 11
Сообщений: 88
Статус: Offline
| а в 31 что верно?
(\exists k(a = 2*k)V\forall t((b != 2*t)V(c != 2*t)))=> \exists i(0<=i<n)(d[i]=0) (\exists k(a = 2*k)V\forall t((b != 2*t)V(c != 2*t)))=> \exists i(0<=i<n)(\exists j != i(0<=j<n)((d[i]=0)^(d[j]=0)))
Основная проблема современности - коммуникационная.
jabber: ldo2@jabber.ru
skype: ldo1
|
| |
| |
| Twilight_Summoner | Дата: Пятница, 09.11.2007, 08:57 | Сообщение # 55 |
 Рядовой
Группа: Заблокированные
Сообщений: 37
Статус: Offline
| Leds, мне попались вопросы:
1. (не помню, ибо мне его сняли со счета)
2. Составить предикат, утверждающий, что для равенства нулю всех элементов массива b[0..n-1] необходимо и достаточно наличие среди первых k хотя бы одного нулевого элемента.
Решение: тут все просто:
{\all} i 0<=i<n (b[i]=0) <=> {\exist} j 0<=j<k (b[j]=0)
Комментарии излишни.
3. wp("s,i=b[0],1", 1<=i<n ^ s=b[0]+...+b[i-1])
Решение:
wp("s,i=b[0],1", 1<=i<n ^ s=b[0]+...+b[i-1])=domain(b[0],1)&& (1<=1<n) ^ (b[0]=b[0]) = (1<n) ^ T = n > 1
Ответ: n > 1
По теории попался первый вопрос плюс меня спросили про wp, грамматику и семантику, после чего отпустили с миром)
Разгильдяй, пофигист по жизни, весельчак)
|
| |
| |
| Zik | Дата: Пятница, 09.11.2007, 09:28 | Сообщение # 56 |
|
Группа: Удаленные
| Quote (Zaraki_Kenpachi) 2. Составить предикат, утверждающий, что для равенства нулю всех элементов массива b[0..n-1] необходимо и достаточно наличие среди первых k хотя бы одного нулевого элемента.
Решение: тут все просто:
{\all} i 0<=i<n (b[i]=0) <=> {\exist} j 0<=j<k (b[j]=0)
у меня было то же самое))) самое интересное у менянаитупейшая ошибка))) вместо < я в обоих местах поставил <=
|
| |
| |
| маргота | Дата: Суббота, 10.11.2007, 22:47 | Сообщение # 57 |
 Рядовой
Группа: 61
Сообщений: 25
Статус: Offline
| у мя вот вопрос как сделать номер 28 правильно, в прошлый раз, у мя засчитали, но сказали что у мя неправильно я вот не могу понять в чем у мя ошибка, мож кто подскажет или скажет правильный вариант.......
{\exist}x1 f(x1)=0 ^ {\exist}x2 f(x2)=0 ^ x1!=x2^{\all}z z!=x1^ z!=x2 f(z)!=0
|
| |
| |
| Xaron1 | Дата: Суббота, 10.11.2007, 23:46 | Сообщение # 58 |
|
Группа: Удаленные
| Можно так попробовать (мог где скобок не дописать):
{\exist}x1 {\exist}x2 f(x2)=0^f(x1)=0^x1!=x2^{\all}z (f(z)=0) => (z=x1vz=x2)
|
| |
| |
