Mатематическая логика
2123 UAHПомочь написать контрольную работу.
Пример прошлого года. Eсли понадобится, я могу прислать материалы.
Task 1 (35%)
a) Describe two major mistakes that you should not make, while writing formulas in the task (b).
b) Predicate language R has the following predicates:
Pr(x) (“x is a product”), Fa(x) (“x is a facrory”), Ci(x) (“x is a city”),
produces(x, y) (“[factory] x produces [product] y”),
located(x, y) (“[factory] x is located [in city] y”),
buys(x, y, z) (“[factory] x buys [product] y from [factory] z”), and also x=y.
Write down in the language R the following statements:
“each city is not a product and not a factory”;
“only factories can produce, and produce only products”;
“product x is produced at one and only one factory”;
“product y is produced only in one city”;
“factories of city x do not buy products, that are produced in city y”.
Task 2 (35%)
Write the sequences of formulas that prove:
a) [L1-L10, MP]: A→(B→C);A∧B ⊢ C;
b) [L1-L10, MP]: (D∧E)∧F ⊢ D∧(E∧F).
It is allowed to use only given hypotheses, axioms and MP. Keep in mind that it can be enough to use just some of axioms, none of the proofs will require to use all L1-L10.
Task 3 (15%)
Write the sequence of formulas that proves:
[L1-L2, MP]: A→(B→C);B ⊢ A→C.
It is allowed to use only given hypotheses, axioms and MP.
Task 4 (15%)
Write down at least 7 lines about the following: what do mean and why are necessary axioms L1 and L10.
-
Нет бюджета - нет ответа.
-
сколько хотите?
-
2 000 ₽
-
Актуальні фриланс-проєкти в категорії Навчання
Допомога в роботі з Shopify і EtsyВітаю. Потрібна допомога в роботі з Shopify і Etsy. Акаунти є + є налаштована Нова пошта та WesternBid. Додано по 10 товарів. Потрібно: перевірити налаштування, проконсультувати в самому процесі роботи з замовленнями, виборі країни для початку продажів (Европа), допомогти все… Інтернет-магазини та електронна комерція, Навчання ∙ 3 дні 2 години тому ∙ 9 ставок |
Шукаю наставника з Claude Code для запуску веб-проєкту з нуля**Коротко про завдання:** Я новачок без досвіду в програмуванні. Є готове ТЗ на розробку сайту (42 сторінки, Next.js, PostgreSQL). Хочу реалізувати його самостійно за допомогою Claude Code - потрібен спеціаліст, який налаштує середовище і навчить мене працювати з інструментом.… Javascript та Typescript, Навчання ∙ 4 дні 6 годин тому ∙ 18 ставок |
Репетитор з французької мовиПотрібен викладач французької мови з впевненим володінням.Шукаємо викладача у компанію для навчання наших співробітників мові. Навчання, Французька мова ∙ 9 днів 4 години тому ∙ 2 ставки |
Налаштування роботи з MetaQuest 3 / ПК
4000 UAH
Необхідна допомога з налаштування MetaQuest 3 та ПК . Можемо домовитись на будь який пункт окремо - налаштування стріму Youtube, TikTok - налаштування хромокею (під MetaQuest) - допога з встановленням софту та ігор Навчання, Обробка відео ∙ 15 днів 20 годин тому ∙ 4 ставки |
БОТ для відправки пересилання повідомлень з телеграму у вайбер. Як зробити? Де знайти?Привіт, є чи бот для пересилки повідомлень з Вайбер в Телеги або Ватсапп Інстаграм ? З робочих знайшов такий , потрібно допомогти налаштувати CrossPost Bot — Один пост, три платформи Інфа з сайту Програма кросспостингу повідомлень в Viber (автоматичної відправки контенту з… Контент-менеджер, Навчання ∙ 2 місяці 1 день тому ∙ 29 ставок |
Рига