НАД/К2 2022 — разлика између измена
< НАД
Пређи на навигацију
Пређи на претрагу
(Нова страница: {{tocright}} {{нерешено}} '''K2 2022/2023''' Теорија је носила 12 бодова, а задаци 8. == Теорија == === 1. задатак ==…) |
м (KockaAdmiralac преместио је страницу НАД/K2 2022 на НАД/К2 2022 без остављања преусмерења: Ćirilično K) |
||
| (Није приказано 5 међуизмена 2 корисника) | |||
| Ред 1: | Ред 1: | ||
{{tocright}} | {{tocright}} | ||
{{нерешено}} | {{нерешено}} | ||
''' | '''Други колоквијум 2022. године''' одржан је 5. децембра. Теорија је носила 12 бодова, а задаци 8. | ||
== Теорија == | == Теорија == | ||
| Ред 15: | Ред 15: | ||
=== 1. задатак === | === 1. задатак === | ||
==== Поставка ==== | ==== Поставка ==== | ||
Дата је формула: | Дата је формула: <math>(\Phi) ((\exists x) A (x) \land (\exists x) B(x)) \implies (\exists x)(A(x) \lor B(x))</math>. Одредити (<math>\neg \Phi</math>), затим записати у пренекс облику. Потом урадити сколемизацију. Да ли је првобитна формула ваљана? | ||
( | |||
Одредити ( | |||
[[Категорија:Рокови]] | [[Категорија:Рокови]] | ||
[[Категорија:НАД]] | [[Категорија:НАД]] | ||
Тренутна верзија на датум 5. децембар 2022. у 22:32
- Овај рок није решен. Помозите SI Wiki тако што ћете га решити.
Други колоквијум 2022. године одржан је 5. децембра. Теорија је носила 12 бодова, а задаци 8.
Теорија
1. задатак
Поставка
Дефинисати мрежу.
2. задатак
Поставка
Дефинисати Формалну теорију. Када је теорија одлучива?
Задаци
1. задатак
Поставка
Дата је формула: . Одредити (), затим записати у пренекс облику. Потом урадити сколемизацију. Да ли је првобитна формула ваљана?