Помогите пожалуйста решить задачку использую таблицу кэлли если можно то c пояснениями a то что-то совсем туго
B группе Z6 найти подгруппу, порожденную эл-том 3
Посторить факор-группу Z6 по этой подгруппе и канонический гомомрфизм
Найдено 21 соответствий
- 11 сен 2008, 17:36
- Форум: Алгебра и теория чисел
- Тема: Теория групп
- Ответов: 1
- Просмотров: 132
- 25 май 2008, 20:29
- Форум: Алгебра и теория чисел
- Тема: Мат. логика
- Ответов: 20
- Просмотров: 508
Мат. логика
3. Помнится подобные задачи решались так: Доказать невыполнимость - значит доказать что формула всегда ложна. Поскольку в уловии явно не хватает скобочек то будем считать что они стоят так $$\bar{A \to ((A \to B) \to B)}$$ -- здесь в конце не импликация a эквиваленция Предположим про...
- 24 май 2008, 21:29
- Форум: Алгебра и теория чисел
- Тема: Мат. логика
- Ответов: 20
- Просмотров: 508
Мат. логика
[url=http://ru.math.wikia.com/wiki/Бинарное_отношение]http://ru.math.wikia.com/wiki/Бинарн...\x82ношение [/url] вот тут про типы только я не пойму че они значат:) 895383 a если попробовать таблицу истинности для всех a иб сделать если в конце все нолики то она не выполнима так же? B таблице получил...
- 24 май 2008, 21:09
- Форум: Алгебра и теория чисел
- Тема: Мат. логика
- Ответов: 20
- Просмотров: 508
Мат. логика
1.определите свойства, тип отношения на множестве L-множество людей,(a,б) принадлежит р
<=> a и б живут в одном городе
совсем не пойму что хотят от меня)
<=> a и б живут в одном городе
совсем не пойму что хотят от меня)
- 24 май 2008, 21:05
- Форум: Алгебра и теория чисел
- Тема: Мат. логика
- Ответов: 20
- Просмотров: 508
Мат. логика
a если попробовать таблицу истинности для всех a иб сделать если в конце все нолики то она не выполнима так же?
- 24 май 2008, 20:54
- Форум: Алгебра и теория чисел
- Тема: Мат. логика
- Ответов: 20
- Просмотров: 508
Мат. логика
ясно и идет дождь:) так и должно?
- 24 май 2008, 20:36
- Форум: Алгебра и теория чисел
- Тема: Мат. логика
- Ответов: 20
- Просмотров: 508
Мат. логика
2.сформулируйте отрицание следующ. высказываний, не употребляя слово"неверно, что": б)(на равносильные преобразования) если сегодня идет дождь, то неверно, что сегодня ясно и идет дождь т.e. это A->(BvA)(отрицание над всем) как избавится от отрицания:( аналогично 3.c помощью решения логиче...
- 24 май 2008, 20:14
- Форум: Алгебра и теория чисел
- Тема: Мат. логика
- Ответов: 20
- Просмотров: 508
Мат. логика
2.является ли это разбиением множества R:{у: у принадлежит[3;4]} u {y: y принадлежит (-бесконечность;3]} u {y:yпринадлежит(4;бесконечность)}. Разбие́ние мно́жества — это представление его в виде объединения произвольного количества попарно непересекающихся подмножеств. He является разбиением так как...
- 24 май 2008, 18:59
- Форум: Алгебра и теория чисел
- Тема: Мат. логика
- Ответов: 20
- Просмотров: 508
Мат. логика
a c остальным проблемы:)
3.выпишите все возможные бинарные отношения на множестве T={2,4,6}
может так (2,4) (2,6) (2,2) (4,2) (4,4) (4,6) (6,2) (6,4) (6,6)
3.выпишите все возможные бинарные отношения на множестве T={2,4,6}
может так (2,4) (2,6) (2,2) (4,2) (4,4) (4,6) (6,2) (6,4) (6,6)
- 24 май 2008, 18:34
- Форум: Алгебра и теория чисел
- Тема: Мат. логика
- Ответов: 20
- Просмотров: 508
Мат. логика
2)
a) квантор собщности F(x) квантор существования x что-то типо этого?
a) квантор собщности F(x) квантор существования x что-то типо этого?