Композиційно-номінативні логіки часткових та неоднозначних предикатів
Дослідження різних класів чистих першопорядкових композиційно-номінативних логік часткових однозначних та неоднозначних предикатів. Квазіарні предикати та їх композиції. Властивості розширених кванторів. Логічні наслідки та секвенційні числення.
| Рубрика | Математика |
| Предмет | Математика |
| Вид | статья |
| Язык | украинский |
| Прислал(а) | incognito |
| Дата добавления | 19.02.2016 |
| Размер файла | 193,8 K |
Отправить свою хорошую работу в базу знаний просто. Используйте форму, расположенную ниже
Студенты, аспиранты, молодые ученые, использующие базу знаний в своей учебе и работе, будут вам очень благодарны.
Подобные документы
Побудова математичної логіки як алгебри висловлень і алгебри предикатів. Основні поняття логіки висловлювань та їх закони і нормальні форми. Основні поняття логіки предикатів і її закони, випереджена нормальна форма. Процедури доведення законів.
курсовая работа [136,5 K], добавлен 27.06.2008Ознайомлення із символікою та апаратом логіки висловлень. Сутність алгебри Жегалкіна. Дослідження питань несуперечності, повноти та незалежності логічних та спеціальних аксіом числення предикатів. Визначення поняття та характерних рис алгоритмів.
курс лекций [538,2 K], добавлен 02.04.2011Характеристика алгебри логіки. Система числення як спосіб подання довільного числа за допомогою алфавіту символів, які називають цифрами. Представлення чисел зі знаком: прямий, обернений і доповняльний код. Аналіз булевої функції та методів Квайна, Вейча.
курсовая работа [2,6 M], добавлен 05.09.2011Алгоритми переведення чисел з однієї позиційної системи числення в іншу. Перетворення і передавання інформації. Булеві функції змінних, їх мінімізація. Реалізація функцій алгебри логіки на дешифраторах. Синтез комбінаційних схем на базі мультиплексорів.
курсовая работа [3,2 M], добавлен 02.09.2011Чисельні методи рішення диференціальних рівнянь у частинних похідних 2-го порядку, початкові і крайові умови. Метод сіток та представлення часткових похідних у скінчено-різницевому вигляді. Структура похибки розв'язку задачі, стійкість і коректність.
курсовая работа [986,6 K], добавлен 22.08.2010Виключення третього як фундаментальний принцип логіки, істинність і хибність як логічні значення пропозиції. Таблиці істинності, поняття тавтології і еквівалентності. Властивості функцій множин і запереченням гіпотези Гольдбаха в термінах квантифікаторів.
реферат [82,7 K], добавлен 03.03.2011Поняття та особливості алгоритмів обчислювальних процедур. Операторні та предикатні алгоритми, їх характеристика, порядок та принципи формування, етапи розв'язання. Алгоритмічні проблеми для L. Логіка висловлень та предикатів в представленні знань.
курс лекций [96,3 K], добавлен 25.03.2011Поняття множини. Операції над множинами. Об’єднання і переріз двох множин. Різниця і доповненя множин. Множини з відношеннями. Прямий (декартів) добуток множин. Бінарні відношення. Відношення еквівалентності. Відношення порядку. Предикати.
курсовая работа [239,3 K], добавлен 10.06.2007Означення і основні властивості інтеграла Стілтьєса, його зв’язок, особливості і відмінності від інших визначених інтегралів і загальні умови існування. Приклади застосування інтеграла для розв’язку різних класів задач. Узагальнення інтегралу Рімана.
курсовая работа [370,2 K], добавлен 21.05.2009Модуль неперервності (першого порядку), приклади та властивості. Необхідна і достатня умова рівномірної неперервності. Класи функцій, що визначаються першими модулями неперервності. Властивості і означення модуля неперервності. Аналіз класів функцій.
курсовая работа [396,9 K], добавлен 22.01.2013