Yulya
Начинающий
|
пришлите адрес.отправлю сейчас)иль могу в аську_)
|
Всего сообщений: 75 | Присоединился: май 2009 | Отправлено: 7 июня 2009 13:08 | IP
|
|
Olegmath2
Полноправный участник
|
Можно и в аську: 488-210-428
|
Всего сообщений: 235 | Присоединился: февраль 2009 | Отправлено: 7 июня 2009 13:13 | IP
|
|
Alekcandpa
Новичок
|
Помогите написать программу, в которой для конечных упорядоченных множеств реализовать все основные операции (È , Ç , Í , \) с помощью алгоритма типа слияния. Допустима организация множеств в виде списка или в виде массива. Работа программы должна происходить следующим образом: На вход подаются два упорядоченных множества A и B (вводятся с клавиатуры, элементы множеств – буквы латинского алфавита). После ввода множеств выбирается требуемая операция (посредством текстового меню, вводом определенного символа в ответ на запрос – выбор по желанию автора). Операции: вхождение AÍ B, AÈ B, AÇ B, A\B Программа посредством алгоритма типа слияния определяет результат выбранной операции и выдает его на экран с необходимыми пояснениями. Одновременно с результатом на экране должны присутствовать и исходные множества. Возврат на п.2 (выбор операции). Завершение работы программы – из п.2 (например, по ESC). Среда программирования – Turbo Pascal 7.0.
|
Всего сообщений: 9 | Присоединился: май 2009 | Отправлено: 14 июня 2009 16:10 | IP
|
|
Dima1111
Новичок
|
Помогите пожалуйста разобраться с задачей: Пропустит ли конечный автомат слово 011001 и что будет на выходе? внешняя ссылка удалена Заранее спасибо.
|
Всего сообщений: 1 | Присоединился: ноябрь 2009 | Отправлено: 5 нояб. 2009 16:34 | IP
|
|
Solomon
Новичок
|
Дана формула: для любого x1(существует x2(k0 P1(x1, x2) + k1 P2(x2, x2) + k3 P3(x1))<->для любого x2((k0 + 1)P1(x1, x2) + (k1 + 1)P2(x2, x1) + (k3 + 1)P3(x1))) , где k0 = N, k1 = [N/2] k2 = [N/4] [X] - взятие целой части от X, а операция + это сложение по модулю 2. Необходимо выполнить следующие задания: 1. Привести к предваренной и сколемовской нормальной форме (СНФ); 2. Для безкванторной части полученной после 1-го пункта формулы (не учитывая аргументы предикатов) построить СДНФ (относительно P1, P2, P3 ); 3. Минимизировать, полученную после 2-го пункта формулу методом Карно. P,S необходимо решить 2 варианта...1) когда N=11 2)и когда N=7
|
Всего сообщений: 11 | Присоединился: октябрь 2009 | Отправлено: 8 нояб. 2009 14:05 | IP
|
|
Solomon
Новичок
|
ПОМОГИТЕ ПОЖАЛУЙСТА....СРОЧНО НАДО!!!!
|
Всего сообщений: 11 | Присоединился: октябрь 2009 | Отправлено: 9 нояб. 2009 19:08 | IP
|
|
Solomon
Новичок
|
простите, надо для N=12 и 8
|
Всего сообщений: 11 | Присоединился: октябрь 2009 | Отправлено: 11 нояб. 2009 17:48 | IP
|
|
Yukano Natsumi
Новичок
|
Помогите, пожалуйста. Записать формулами булевой алгебры следующие выражения: 1) Сегодня вечером я пойду в театр или на концерт 2) У меня современный компьютер, и я закончу проект вовремя и сдам экзамен 3) Пётр ходит в кино только в том случае, когда показывают комедию 4) Студент не может заниматься, если он устал или голоден 5) Если Иван выиграет в лотерею, он купит компьютер и будет праздновать всю ночь 6) Если он не выиграет в лотерею или не купит компьютер, то праздновать всю ночь не будет 7) Если Игорь носит желтые ботинки, то он не модный. И, если он не модный, то у него странные друзья. 8) Если он не удачлив, то он и не популярен 9) Если он информатик, то он либо работает за компьютером, либо читает книги об ЭВМ 10) Если он или умеет писать,или читать, то он грамотный человек Я буду очень благодарна))
|
Всего сообщений: 30 | Присоединился: октябрь 2009 | Отправлено: 22 нояб. 2009 11:05 | IP
|
|
skyGirl
Новичок
|
Помогите, пожалуйста, решить задачки. Хоть какие-нибудь, у самой ничего не получается 1. Даны системы множеств {Ai}i, i принадлежит I и {Bi}i, i принадлежит I, где I - некоторое множество индексов. Найдите необходимое и достаточное условие существования множества X, такого что: a) Ai в объединении с X = Bi при всех i, принадлежащих I; b) Ai в пересечении с X = Bi при всех i, принадлежащих I; Укажите, чему может равняться X при выполнении этого условия. 2. a) Является ли континуальным множество всех монотонных функций на действительной прямой? b) Докажите, что множество всех функций из R в R равномощно множеству всех отношений на R. 3. a) Приведите пример двух неизоморфных плотно линейно упорядоченных множеств мощности континуум, не имеющих наибольшего и наименьшего элемента. b) Докажите, что всякое счётное линейно упорядоченноемножество изоморфно некоторому подмножеству множества рациональных чисел. 4. Докажите, что: a) Если формулы A + B и ¬A + C суть тавтологии, то B + C тавтология. b) Если формулы A + B, A -> C и B -> D суть тавтологии, то C + D тавтология. 5. Придумайте полную систему из четырёх связок, любая подсистема которой из трёхсвязок неполна. 6. Докажите, что любой частичный порядок R на конечном или счётном множестве A можно продолжить до линейного порядка (R принадлежит Q) на том же множестве. 7. Докажите, что любую самодвойственную функцию можно выразить через ¬ и функцию f(x,y,z) = xy + yz +zx. 8. Докажите, что любую монотонную функцию можно выразить через 0, 1, +, X. (Сообщение отредактировал skyGirl 22 нояб. 2009 15:45)
|
Всего сообщений: 1 | Присоединился: ноябрь 2009 | Отправлено: 22 нояб. 2009 15:39 | IP
|
|
syalon
Новичок
|
Всем, здравствуйте! Прошу Вас помочь с решением задания по математической логике. Сутьзадания в том, что нужно определить являются ли формулами ИВ выражения (исчисление высказываний). Я попробовал решить пару примеров по шаблону (в интернете нашел). Но определенной техники по решению таких примеров к сожалению незнаю (буду рад любым материалам\ссылкам по данной теме). Проверьте пожалуйста, если Вас не затруднит. Проверить являются ли формулами ИВ выражения: (А & В)С¬D (А & В)->С (A->B)->(C->D) (((¬A)->D->C) Докажем, что выражение ИВ формула: Правила образования формул: 1) все атомы являются формулами; 2) если А и В – формулы, то ¬(A), (А & В), (А V В), (А -> В)– также формулы. если С и D - формулы, то ¬(C), (C & D), (C V D), (C ->D)– также формулы. 3) других формул не существует. (А & В)С¬D По правилу 2) (A&B)C¬D - формула, если (A&B) и C¬D - формулы. По правилу 2) (A&B) - формула, поскольку по правилу 1) A и B - формулы С¬D не является формулой поскольку мне кажется, что перед С должен стоять какой нибудь знак (хотя может мне просто кажется) -> здесь бы сформулировать получше а то преподователь может не понять В итоге (А & В)С¬D не является формулой (А & В)->С По правилу 2) (A&B)->С- формула, если (A&B) и С - формулы. По правилу 2) (A&B) - формула, поскольку по правилу 1) A и B - формулы По правилу 1) С - формула В итоге (А & В)->С - является формулой (A->B)->(C->D) По правилу 2) (A->B)->(C->D) - формула, если (A->B) и (C->D)- формулы. По правилу 2) (A->B) - формула, поскольку по правилу 1) A и B - формулы По правилу 2) (C->D) - формула, поскольку по правилу 1) C и D - формулы В итоге (A->B)->(C->D) - является формулой (((¬A)->D->C) - вообще не понял.... Заранее спасибо! (Сообщение отредактировал syalon 3 дек. 2009 14:26)
|
Всего сообщений: 1 | Присоединился: декабрь 2009 | Отправлено: 3 дек. 2009 14:18 | IP
|
|
|