дискретная математика

[444pan]

Добрый день.

Очень плохо разбираюсь в дискретной математике, но возникла необходимость срочно решить пару задачек.

Буду очень благодарен если кто-нибудь поможет.

Времени дали всего два дня: сегодня и завтра



Так же, если у кого есть, не могли бы вы пожалуста скинуть ссылки на книги по данной тематике.

@темы: Дискретная математика

Comments

[Robot]

Вот хорошая книжка



Название: Nikol'skaja I.L. Matematicheskaja logika (VSh, 1981)(T)(128s)(ru)(K).djvu

Размер: 1.16 Мб

Описание: Никольская Математическая логика

Ссылка для скачивания файла: http://ifolder.ru/2200718



В ней для решения первых задач (как я понимаю, там нужно выяснить имеет ли место логическое следствие) есть хороший алгоритм, называемый - сокращенный способ проверки аргументов



Завтра постарюсь помочь с решением

[Robot]

В первом задании не очень поняла условие . Волна,наверное, эквиваленция, а вот что стоит между не А и В?

Но ты по образцу справишься сам(а)

Задание 2

[Robot]

Таблица

[Robot]

Третье задание. (Надеюсь, что формулировку я поняла правильно: следуют ли из данных формул следующие? В дальнейшем надо указывать задание почетче)

[Robot]

Название: Матлогика и теория алоритмов.rar

Размер: 336.23 кб

Описание: Пономарев Математическая логика (Ч.1 Логика высказываний, логика предикатов. Ч.2 Логика реляционная. Логика нечеткая)

Ссылка для скачивания файла: http://ifolder.ru/1095253



Название: erusalimskiy.djvu

Размер: 2.50 Мб

Описание: Ерусалимский Я.М. Дискретная математика: теория, задачи, приложения. М.: Вузовская книга , 2000, 200с. Содержит разделы: алгебра высказываний, предикатов, множеств, отображения, комбинаторика, отношения, булевы функции, графы.

Ссылка для скачивания файла: http://ifolder.ru/2205112



Здесь на странице 26 файла (а книжной 48-49) доказываются некоторые предложения с кванторами

[Robot]

В II я не уверена. Никогда такие не доказывала

[444pan]

Robot

Большое спасибо и извиняюсь за нечеткое указание задания.

Книжки почитаю вот как раз сейчас

Первое задание решил по вашему примеру (второго задания). Не понял как вы решили третье задание (там дальше можно доказать что СиD - истина, но как доказать что A-истина я не нашел), поэтому решил его по методу второго и первого.

Мне вообще ваш метод решения очень понравился (он мне кажется намного практичней, чем тот, каким я пытался решать). Мы так раньше в школе что то решали, не помню что правда (называлось это вроде: метод от обратного)



Еще раз спасибо.

[Robot]

444pan

Не за что

С третьим заданием так

По-видимому там условие - выяснить, следуют ли из формул ... далее формулы следующие вормулы ...

Так вот по определению логического следствия формула CиD логически следует из некоторого набора формул,если при любых значения переменных А, В, С, D, Е при которых истинны формулы этого набора будет истинна и сама формула CиD

Так вот: если взять А-л, В -и, С-л, D -и, Е-и , то формулы данного набора формул принимают значение истина, но формула CиD принимает значение ложь. Значит,CиD не следует логически из вышеперечисленных формул

Аналогично с А

(Или я просто не очень поняла перечень формул и само задание 3)

[mpl]

Владелец дневника видит IP-адреса пользователей, оставивших комментарии!