Пошук навчальних матеріалів по назві і опису в нашій базі:

Методичні вказівки до виконання курсової роботи з кредитного модуля „Теорія алгоритмів та математичні основи представлення знань”




462.31 Kb.
НазваМетодичні вказівки до виконання курсової роботи з кредитного модуля „Теорія алгоритмів та математичні основи представлення знань”
Сторінка4/4
Дата конвертації09.10.2012
Розмір462.31 Kb.
ТипМетодичні вказівки
Список літератури
1   2   3   4
7. Методом резолюцій довести, що формула з пункту 2 є абсолютно істинною.

8. Методом резолюцій довести, що формула з пункту 3 є абсолютно істинною.

9. Методом резолюцій перевірити логічне слідування з умови пункту 5.
Варіант 3.

1. Визначити істинність формули логіки висловлювань за допомогою методу таблиць істинності.

(AB) & (CD)  (A&C  B&D)

2. Довести теорему в численні L:

├─ (A  B)  A

3. Довести теорему в численні L:

├─ (C  (A  B))  (C  (B  A))

4. Побудувати таблиці істинності на області інтерпретації D = {1, 2} для формули:



5. Перевірити логічне слідування у логіці предикатів, побудувавши виведення у численні K.

Область визначення: мої думки. 1. Будь-яка думка, яку неможна виразити у вигляді силогізму, воістину безглузда. 2. Моя мрія про здобні тістечка не важить того, щоби її записувати на папері. 3. Жодну мою нездійсненну мрію неможна виразити у вигляді силогізму. 4. Мені не приходило в голову жодної дійсно безглуздої думки, про яку я б не повідомив моєму повіреному. 5. Я тільки й мрію, що про здобні тістечка. 6. Я ніколи не повідомляв моєму повіреному жодної думки, якщо вона не важила того, щоб її записати на папір. 7. Відповідно, всі мої мрії здійснились.

6. Визначити за допомогою метода Девіса-Патнем, чи є формула суперечливою або ні:

 ((AB) & (CD)  (A&C  B&D))

7. Методом резолюцій довести, що формула з пункту 2 є абсолютно істинною.

8. Методом резолюцій довести, що формула з пункту 3 є абсолютно істинною.

9. Методом резолюцій перевірити логічне слідування з умови пункту 5.

Варіант 4.

1. Визначити істинність формули логіки висловлювань за допомогою методу таблиць істинності.

(C  B)&(B  A)  (C  A)

2. Довести теорему в численні L:

├─ (B  (C  A))  (((B  C)  A)  ((A  C)  (A  B))

3. Довести теорему в численні L:

├─ (B  A)  (A  B)

4. Побудувати таблиці істинності на області інтерпретації D = {1, 2} для формули:



5. Перевірити логічне слідування у логіці предикатів, побудувавши виведення у численні K.

Область визначення: предмети. 1. Я з відразою відношусь до всього, що не може слугувати мостом. 2. Все, що можна славити у віршах, для мене приємний подарунок. 3. Веселка не витримає ваги возика. 4. Все, що може слугувати мостом, витримає вагу возика. 5. Я не прийняв би в якості подарунка те, що викликає у мене відразу. 6. Відповідно, веселку не варто славити у віршах.

6. Визначити за допомогою метода Девіса-Патнем, чи є формула суперечливою або ні:

 ((C  B)&(B  A)  (C  A))

7. Методом резолюцій довести, що формула з пункту 2 є абсолютно істинною.

8. Методом резолюцій довести, що формула з пункту 3 є абсолютно істинною.

9. Методом резолюцій перевірити логічне слідування з умови пункту 5.
Варіант 5.

1. Визначити істинність формули логіки висловлювань за допомогою методу таблиць істинності.

(C&A)  ((DB  C)  (B  A))

2. Довести теорему в численні L:

├─ (C  (C  B))  ((A  C)  (B  A))

3. Довести теорему в численні L:

├─ (B  A)  (B A  A)

4. Побудувати таблиці істинності на області інтерпретації D = {1, 2} для формули:



5. Перевірити логічне слідування у логіці предикатів, побудувавши виведення у численні K.

Область визначення: автори літературних творів. 1. Всі автори літературних творів, які постигли природу людини, розумні люди. 2. Жодного автора неможна вважати справжнім поетом, якщо він не здатен хвилювати серця людей. 3. Шекспір написав «Гамлета». 4. Жоден з авторів, який не постиг природу людини, не здатен хвилювати серця людей. 5. Тільки справжній поет міг написати «Гамлета». 6. Відповідно, Шекспір був розумною людиною.

6. Визначити за допомогою метода Девіса-Патнем, чи є формула суперечливою або ні:

 ((C&A)  ((DB  C)  (B  A)))

7. Методом резолюцій довести, що формула з пункту 2 є абсолютно істинною.

8. Методом резолюцій довести, що формула з пункту 3 є абсолютно істинною.

9. Методом резолюцій перевірити логічне слідування з умови пункту 5.
Варіант 6.

1. Визначити істинність формули логіки висловлювань за допомогою методу таблиць істинності.

((B&C)  D)  (A&B  CD)

2. Довести теорему в численні L:

├─ ((B  A)  C)  ((C  A)  (A  B))

3. Довести теорему в численні L:

├─ (A&B)  (A  B)

4. Побудувати таблиці істинності на області інтерпретації D = {1, 2} для формули:



5. Перевірити логічне слідування у логіці предикатів, побудувавши виведення у численні K.

Область визначення: представлені тут картини. 1. Жодна з представлених тут картин, окрім батальних, не представляє цінності. 2. Жодна з картин, які вивішені без рам, не покрита лаком. 3. Всі батальні картини намальовані олією. 4. Всі розпродані картини представляють цінність. 5. Всі картини англійських майстрів покриті лаком. 6. Всі картини, які були вивішені в рамах, продані. 7. Відповідно, всі представлені тут картини англійських майстрів написані олією.

6. Визначити за допомогою метода Девіса-Патнем, чи є формула суперечливою або ні:

 ((B&C)  D)  (A&B  CD))

7. Методом резолюцій довести, що формула з пункту 2 є абсолютно істинною.

8. Методом резолюцій довести, що формула з пункту 3 є абсолютно істинною.

9. Методом резолюцій перевірити логічне слідування з умови пункту 5.
Варіант 7.

1. Визначити істинність формули логіки висловлювань за допомогою методу таблиць істинності.

((A&B)&C)  (A  BC)

2. Довести теорему в численні L:

├─ A  (((A  B)  A)  A&B)

3. Довести теорему в численні L:

├─ (A  (C  B))  (A  (B  C))

4. Побудувати таблиці істинності на області інтерпретації D = {1, 2} для формули:



5. Перевірити логічне слідування у логіці предикатів, побудувавши виведення у численні K.

Область визначення: люди цього коледжу. 1. Всі випускники Ітону в цьому коледжі грають у крикет. 2. Ніхто, окрім викладачів, не обідає за верхнім столом. 3. Жоден з тих, хто грає у крикет, не вміє веслувати. 4. Всі мої друзі в цьому коледжі – випускники Ітону. 5. Всі викладачі – чудові веслярі. 6. Відповідно, всі мої друзі обідають за нижнім столом.

6. Визначити за допомогою метода Девіса-Патнем, чи є формула суперечливою або ні:

 (((A&B)&C)  (A  BC))

7. Методом резолюцій довести, що формула з пункту 2 є абсолютно істинною.

8. Методом резолюцій довести, що формула з пункту 3 є абсолютно істинною.

9. Методом резолюцій перевірити логічне слідування з умови пункту 5.
Варіант 8.

1. Визначити істинність формули логіки висловлювань за допомогою методу таблиць істинності.

(A&B)  (A&C)  A&(BC)

2. Довести теорему в численні L:

├─ ((B  A)  B)  (A  B)

3. Довести теорему в численні L:

├─ ((A  B)  A)  ((A  B)  A)

4. Побудувати таблиці істинності на області інтерпретації D = {1, 2} для формули:



5. Перевірити логічне слідування у логіці предикатів, побудувавши виведення у численні K.

Область визначення: люди. 1. Ті, хто порушує свої обіцянки, не заслуговує довіри. 2. Любителі випити дуже балакучі. 3. Людина, яка виконує свої обіцянки, чесна. 4. Жоден непитущий не є лихварем. 5. Тому, хто дуже балакучий, завжди можна вірити. 6. Відповідно, жоден лихвар не є чесним.

6. Визначити за допомогою метода Девіса-Патнем, чи є формула суперечливою або ні:

 ((A&B)  (A&C)  A&(BC))

7. Методом резолюцій довести, що формула з пункту 2 є абсолютно істинною.

8. Методом резолюцій довести, що формула з пункту 3 є абсолютно істинною.

9. Методом резолюцій перевірити логічне слідування з умови пункту 5.
Варіант 9.

1. Визначити істинність формули логіки висловлювань за допомогою методу таблиць істинності.

((A  C)  (A  BC))  (A  (C  A))

2. Довести теорему в численні L:

├─ ((A  B)  A)  ((B  A)  B)

3. Довести теорему в численні L:

├─ (B  A)  (A  (B  C))

4. Побудувати таблиці істинності на області інтерпретації D = {1, 2} для формули:



5. Перевірити логічне слідування у логіці предикатів, побудувавши виведення у численні K.

Область визначення: плоди на цій виставці. 1. Всі плоди на цій виставці, які не будуть нагороджені, є власністю організаційного комітету. 2. Жоден з представлених мною персиків не є нагородженим. 3. Жоден плід, який був розпроданий після виставки, не був зрілим. 4. Жоден зі стиглих плодів не був вирощений у теплиці. 5. Всі плоди, які належать оргкомітету виставки, були розпродані після її закриття. 6. Відповідно, жоден з моїх персиків не був вирощений у теплиці.

6. Визначити за допомогою метода Девіса-Патнем, чи є формула суперечливою або ні:

 (((A  C)  (A  BC))  (A  (C  A)))

7. Методом резолюцій довести, що формула з пункту 2 є абсолютно істинною.

8. Методом резолюцій довести, що формула з пункту 3 є абсолютно істинною.

9. Методом резолюцій перевірити логічне слідування з умови пункту 5.
Варіант 10.

1. Визначити істинність формули логіки висловлювань за допомогою методу таблиць істинності.

((A  B)  (B  BC))  (A  C)

2. Довести теорему в численні L:

├─ A  ((B  A)  (B  C))

3. Довести теорему в численні L:

├─ (C  B)&(B  A)  (C  A)

4. Побудувати таблиці істинності на області інтерпретації D = {1, 2} для формули:



5. Перевірити логічне слідування у логіці предикатів, побудувавши виведення у численні K.

Область визначення: поеми. 1. Жодна цікава поема не залишиться невизнаною людьми із тонкими смаками. 2. Жодна сучасна поема не вільна від афектації. 3. Всі ваші поему написані про мильні бульбашки. 4. Жодна афектована поема не знаходить визнання у людей із тонким смаком. 5. Жодна стародавня поема не написана про мильні бульбашки. 6. Відповідно, всі ваші поеми не цікаві.

6. Визначити за допомогою метода Девіса-Патнем, чи є формула суперечливою або ні:

 (((A  B)  (B  BC))  (A  C))

7. Методом резолюцій довести, що формула з пункту 2 є абсолютно істинною.

8. Методом резолюцій довести, що формула з пункту 3 є абсолютно істинною.

9. Методом резолюцій перевірити логічне слідування з умови пункту 5.
Варіант 11.

1. Визначити істинність формули логіки висловлювань за допомогою методу таблиць істинності.

(AB) & (CD)  (A&B  C)

2. Довести теорему в численні L:

├─ (B  A)  ((B  (C  A))  (C  A))

3. Довести теорему в численні L:

├─ A  (B  (B  A))

4. Побудувати таблиці істинності на області інтерпретації D = {1, 2} для формули:



5. Перевірити логічне слідування у логіці предикатів, побудувавши виведення у численні K.

Область визначення: книги в цій бібліотеці. 1. Єдині книги в цій бібліотеці, які я не рекомендую читати, є аморальні за своїм змістом. 2. Всі книги у твердих палітурках володіють видатними літературними якостями. 3. Всі романи достатньо моральні за змістом. 4. Я не рекомендую вам читати жодну з книг у м’якій палітурці. 5. Відповідно, всі романи в цій бібліотеці володіють видатними літературними якостями.

6. Визначити за допомогою метода Девіса-Патнем, чи є формула суперечливою або ні:

 ((AB) & (CD)  (A&B  C))

7. Методом резолюцій довести, що формула з пункту 2 є абсолютно істинною.

8. Методом резолюцій довести, що формула з пункту 3 є абсолютно істинною.

9. Методом резолюцій перевірити логічне слідування з умови пункту 5.
Варіант 12.

1. Визначити істинність формули логіки висловлювань за допомогою методу таблиць істинності.

(AB) & (CD)  (A&B  C)

2. Довести теорему в численні L:

├─ (A  (C  B))  (A  (B  C))

3. Довести теорему в численні L:

├─ (BC)  ((AB)C)

4. Побудувати таблиці істинності на області інтерпретації D = {1, 2} для формули:



5. Перевірити логічне слідування у логіці предикатів, побудувавши виведення у численні K.

Область визначення: речі. 1. Всі речі, які продаються на вулиці, не мають особливої цінності. 2. Тільки дрантя можна купити за копійку. 3. Яйця великої гагарки уявляють велику цінність. 4. Лише те, що продається на вулиці, й є справжнє дрантя. 5. Відповідно, яйце великої гагарки за копійку не купиш.

6. Визначити за допомогою метода Девіса-Патнем, чи є формула суперечливою або ні:

 ((AB) & (CD)  (A&B  C))

7. Методом резолюцій довести, що формула з пункту 2 є абсолютно істинною.

8. Методом резолюцій довести, що формула з пункту 3 є абсолютно істинною.

9. Методом резолюцій перевірити логічне слідування з умови пункту 5.
Варіант 13.

1. Визначити істинність формули логіки висловлювань за допомогою методу таблиць істинності.

(C  (C  B))  ((A  C)  (BA))

2. Довести теорему в численні L:

├─ A  ((A  B)  (A  C))

3. Довести теорему в численні L:

├─ A  (B  (A  B))

4. Побудувати таблиці істинності на області інтерпретації D = {1, 2} для формули:



5. Перевірити логічне слідування у логіці предикатів, побудувавши виведення у численні K.

Область визначення: мої діти. 1. Всі мої сини є стрункими. 2. Жоден з моїх дітей не здоров, якщо він не робить вранішньої гімнастики. 3. Всі ненажери серед моїх дітей страждають ожирінням. 4. Жодна з моїх дочок не робить вранішньої гімнастики. 5. Відповідно, всі мої діти-ненажери хворі.

6. Визначити за допомогою метода Девіса-Патнем, чи є формула суперечливою або ні:

 ((C  (C  B))  ((A  C)  (BA)))

7. Методом резолюцій довести, що формула з пункту 2 є абсолютно істинною.

8. Методом резолюцій довести, що формула з пункту 3 є абсолютно істинною.

9. Методом резолюцій перевірити логічне слідування з умови пункту 5.
СПИСОК ЛІТЕРАТУРИ

1. Таран Т.А., Миценко Н.А., Темникова Н.А. Сборник задач по дискретной математике. – К.: Просвіта, 2001. ISBN 966-7115-48-8.

2. Таран Т.А., Основы дискретной математики. – К.: Просвіта, 2003. ISBN 966-7115-49-6.

3. Нікольський Ю.В., Пасічник В.В., Щербина Ю.М. Дискретна математика. – К.: Видавнича група BHV, 2007. ISBN 966-552-201-9.

4. Клини С.К. Математическая логика. – М.: Мир, 1973.

5. Лавров И.А. Максимова Л.Л. Задачи по теории множеств, математической логике и теории алгоритмов. – М.: Наука, 1975.

6. Мендельсон Эллиот. Введение в математическую логику. – М.: Наука, 1976.

7. Новиков Ф.А. Дискретная математика для программистов. Учебник для вузов. 2–е изд. – СПб.: Питер, 2006.

8. Успенский В.А., Верещагин Н.К., Плиско В.Е. Вводный курс математической логики. – 2-е изд. – М.: ФИЗМАТЛИТ, 2002.

9. Чень Ч., Ли Р. Математическая логика и автоматическое доказательство теорем. – М.: Наука, 1983.

1   2   3   4

Схожі:

Методичні вказівки до виконання курсової роботи з кредитного модуля „Теорія алгоритмів та математичні основи представлення знань” icon1 Вимоги до виконання курсової роботи 4 2 Завдання для курсової роботи 7
Дані методичні вказівки призначені для організації виконання курсової роботи студентів спеціальності 000008 «Енергетичний менеджмент»...
Методичні вказівки до виконання курсової роботи з кредитного модуля „Теорія алгоритмів та математичні основи представлення знань” iconМетодичні вказівки до виконання курсової роботи з дисципліни "Податкова система" для студентів напряму 0501 "Економіка і підприємництво"
Методичні вказівки до виконання курсової роботи з дисципліни "Податкова система" / Укладачі: Т. О. Кірсанова, І. М. Кобушко, М. Ю....
Методичні вказівки до виконання курсової роботи з кредитного модуля „Теорія алгоритмів та математичні основи представлення знань” iconТип модуля: обов'язковий Семестр: VI обсяг модуля
Методичні вказівки до виконання курсової роботи для студентів всіх форм навчання та екстернів базових напрямів 050501, 050502, 050504,...
Методичні вказівки до виконання курсової роботи з кредитного модуля „Теорія алгоритмів та математичні основи представлення знань” iconМетодичні вказівки до виконання курсової роботи з дисципліни „ регіональний менеджмент для студентів спеціальності 0306 «Менеджмент І адміністрування»
Методичні вказівки до виконання курсової роботи з дисципліни „Регіональний менеджмент” // Укладачі: А. Ю. Жулавський, О. О. Павленко,...
Методичні вказівки до виконання курсової роботи з кредитного модуля „Теорія алгоритмів та математичні основи представлення знань” iconМетодичні вказівки до виконання курсової роботи Цілі та завдання курсової роботи
Прошу розмістити на сайті дну у розділі «Методичні матеріали для самостійної роботи студентів» наступні матеріали
Методичні вказівки до виконання курсової роботи з кредитного модуля „Теорія алгоритмів та математичні основи представлення знань” iconМетодичні вказівки щодо виконання та оформлення курсової роботи з дисципліни «Обчислювальна математика»
Методичні вказівки з виконання та оформлення курсової роботи з дисципліни «Обчислювальна математика» для студентів геологічного факультету...
Методичні вказівки до виконання курсової роботи з кредитного модуля „Теорія алгоритмів та математичні основи представлення знань” iconРозрахунок та оптимізація характеристик систем електрозв'язку завдання на виконання курсової роботи з дисципліни
Телекомунікації” 0924 передбачене виконання курсової роботи з дисципліни “Теорія електричного зв'язку”. Мета кр закріплення знань...
Методичні вказівки до виконання курсової роботи з кредитного модуля „Теорія алгоритмів та математичні основи представлення знань” iconМетодичні вказівки щодо виконання курсової роботи з курсу „технології програмування розробив: Томашевський В. В
Важливим етапом вивчення дисципліни „ Технології програмування ” є написання курсової роботи. Задачами курсової роботи є
Методичні вказівки до виконання курсової роботи з кредитного модуля „Теорія алгоритмів та математичні основи представлення знань” iconМетодичні вказівки до виконання та оформлення курсової роботи для студентів всіх форм навчання
Методичні вказівки до виконання та оформлення курсової роботи для студентів усіх форм навчання з дисципліни “Програмування”/Укладачі:...
Методичні вказівки до виконання курсової роботи з кредитного модуля „Теорія алгоритмів та математичні основи представлення знань” iconМетодичні вказівки до виконання курсової роботи "Визначення впливу вражаючих факторів нс "
Мармазинський О. А., Савіна О. Ю., Штейн П. В. Методичні вказівки до виконання курсової роботи: “Визначення впливу вражаючих факторів...
Додайте кнопку на своєму сайті:
ua.convdocs.org


База даних захищена авторським правом ©ua.convdocs.org 2014
звернутися до адміністрації
ua.convdocs.org
Реферати
Автореферати
Методички
Документи
Випадковий документ

опубликовать
Головна сторінка