Siriusss
Новичок
|
     
С помощью производных правил вывода когда-то делали
Проверить выводимость в исчислении высказываний методом Куайна, методом редукции и методом резолюций.Первые 2 метода более или менее понятны. Не понятен метод резолюций. Помогите, пожалуйста.
спасибо, уже не нужно
(Сообщение отредактировал Siriusss 20 мая 2008 20:00)
|
Всего сообщений: 28 | Присоединился: апрель 2007 | Отправлено: 11 мая 2008 17:48 | IP
|
|
tekila
Новичок
|
Помогите пожалуйста решить задачку на ПРЕДИКАТЫ.вопрос жизни и смерти..точнее зачет/незачет...
наибольший общий делитель четных чисел.является четным числом.
|
Всего сообщений: 2 | Присоединился: май 2008 | Отправлено: 27 мая 2008 22:27 | IP
|
|
Roman Osipov 
Долгожитель
|
 
В чем задачка?
|
Всего сообщений: 2356 | Присоединился: май 2007 | Отправлено: 27 мая 2008 22:54 | IP
|
|
tekila
Новичок
|
задача состоит в том чтоб к заданию(наибольший общий делитель четных чисел.является четным числом)написать формулу,которая соответствует данному утверждению,а потом эту формулу преобразовать.все..
(Сообщение отредактировал tekila 28 мая 2008 0:10)
|
Всего сообщений: 2 | Присоединился: май 2008 | Отправлено: 28 мая 2008 0:08 | IP
|
|
Mixail
Новичок
|
Помогите, пожалуйста с несколькими задачами.
Доказать, что множество N, где 0<2<4<...<1<3<5<..., вполне упорядочено;
Доказать, что если формулы (АvВ), (А ->С), (B ->D) тождественно истинны, то формула (CvD)) тождественно истинна; (-> импликация)
Доказать, что если А есть тождественно истинная к.н.ф., то для любого дизъюнкта формулы А существует переменная Р такая, что Р и (не Р) входят в этот дизъюнкт.
Доказать, что для любых элементов а, Ь, с группы О элементы abc, bса и cab имеют одинаковый порядок.
Найти смежные классы мультипликативной группы комплексных чисел отличных от нуля, по подгруппе положительных действительных чисел;
|
Всего сообщений: 1 | Присоединился: июнь 2008 | Отправлено: 3 июня 2008 12:27 | IP
|
|
CAMOBAP
Новичок
|
добрый день...
нужно срочно решить три задания по дискретной математике...
задания такие:
1. С помощью ДНФ и КНФ установить выполнимость формул
2. По заданной функции проводимости построить наиболее простую схему.
3.Для заданного графа построить:
-матрицу смежности,
-матрицу инцидентности,
-матрицу достижимостей,
-найти число внутренней устойчивости,
-найти число внешней устойчивости.
могу выслать файл с заданием...
мыло ser_george@mail.ru
переведу деньги на webmoney
|
Всего сообщений: 1 | Присоединился: июнь 2008 | Отправлено: 3 июня 2008 16:06 | IP
|
|
marika
Новичок
|
Здравствуйте! Большая просьба объясните,как решать задачу!
Очень плохо понимаю,в чем суть.
Пусть G=Z*Z, H=3Z*Z.Является ли H нормальной подгруппой G, идеалом G относительно покомпонентных операций сложения, умножения,найтиG/H.
|
Всего сообщений: 5 | Присоединился: июнь 2008 | Отправлено: 26 июня 2008 0:28 | IP
|
|
Nevrotkampot
Новичок
|
Помогите вот с таким:
При передаче полу4ен код C=(1111001). Определить была ли однократная ошибка при передаче,если да , то исправить ошибку и выделить сообщение.
И второе
Выделить логическую форму предложения и запишите её на языке логики предикатов. "Я знаю эту теорему и могу доказать её".
(Сообщение отредактировал Nevrotkampot 1 июля 2008 15:54)
|
Всего сообщений: 1 | Присоединился: июль 2008 | Отправлено: 1 июля 2008 15:53 | IP
|
|
Guest
Новичок
|
Дискретная математика-комбинаторика
следствие из формулы бином ньютона= 2^n
надо
1. что ОБОЗНАЧАЮТ 2 и n в формуле
2.составить задачу по этой формуле с полным ее решением
|
Всего сообщений: Нет | Присоединился: Never | Отправлено: 11 июля 2008 5:34 | IP
|
|
Guest
Новичок
|
Помогите Пожалуйста !!!!!!!!!!!
|
Всего сообщений: Нет | Присоединился: Never | Отправлено: 11 июля 2008 5:58 | IP
|
|
Форум
Дискретная математика
