Форум
» Назад на решение задач по физике и термеху
Регистрация | Профиль | Войти | Забытый пароль | Присутствующие | Справка | Поиск

» Добро пожаловать, Гость: Войти | Регистрация
    Форум
    Математика
        2.8.1 Математическая логика
Отметить все сообщения как прочитанные   [ Помощь ]
» Добро пожаловать на форум "Математика" «

Переход к теме
<< Назад Вперед >>
Несколько страниц [ 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 ]
Модераторы: Roman Osipov, RKI, attention, paradise
  

Yulya



Начинающий

пришлите адрес.отправлю сейчас)иль могу в аську_)

Всего сообщений: 75 | Присоединился: май 2009 | Отправлено: 7 июня 2009 13:08 | IP
Olegmath2


Полноправный участник

Можно и в аську: 488-210-428

Всего сообщений: 235 | Присоединился: февраль 2009 | Отправлено: 7 июня 2009 13:13 | IP
Alekcandpa



Новичок

Помогите написать программу, в которой для конечных упорядоченных множеств реализовать все основные операции (&#200; , &#199; , &#205; , \) с помощью алгоритма типа слияния. Допустима организация множеств в виде списка или в виде массива.

Работа программы должна происходить следующим образом:
На вход подаются два упорядоченных множества A и B (вводятся с клавиатуры, элементы множеств – буквы латинского алфавита).
После ввода множеств выбирается требуемая операция (посредством текстового меню, вводом определенного символа в ответ на запрос – выбор по желанию автора). Операции: вхождение A&#205; B, A&#200; B, A&#199; B, A\B
Программа посредством алгоритма типа слияния определяет результат выбранной операции и выдает его на экран с необходимыми пояснениями. Одновременно с результатом на экране должны присутствовать и исходные множества.
Возврат на п.2 (выбор операции).
Завершение работы программы – из п.2 (например, по ESC).
Среда программирования – Turbo Pascal 7.0.

Всего сообщений: 9 | Присоединился: май 2009 | Отправлено: 14 июня 2009 16:10 | IP
Dima1111


Новичок

Помогите пожалуйста разобраться с задачей:
Пропустит ли конечный автомат слово 011001 и что будет на выходе?
http://pic.ipicture.ru/uploads/091105/sThV3qi1Gc.jpg

Заранее спасибо.

Всего сообщений: 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

Отправка ответа:
Имя пользователя   Вы зарегистрировались?
Пароль   Забыли пароль?
Сообщение

Использование HTML запрещено

Использование IkonCode разрешено

Смайлики разрешены

Опции отправки

Добавить подпись?
Получать ответы по e-mail?
Разрешить смайлики в этом сообщении?
Просмотреть сообщение перед отправкой? Да   Нет
 

Переход к теме
<< Назад Вперед >>
Несколько страниц [ 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 ]

Форум работает на скрипте © Ikonboard.com