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
|
|
|
Форум
2.8.1 Математическая логика
