Зміст
26 відносини: Комп'ютерна програма, Кон'юнктивна нормальна форма, Підрядок, Правила де Моргана, Прозорість посилань (інформатика), Передпорядок, Обернене відношення, Абетка, Автоматизоване доведення теорем, Напівгрупа, Недетермінований алгоритм, Рядок (програмування), Рефлексивне відношення, Транзитивне відношення, Морфема, Мовознавство, Моноїд, Закон подвійного заперечення, Відношення еквівалентності, Вільна група, Генеративна граматика, Дистрибутивність, Детермінованість, Декларативне програмування, Ізоморфізм, Логіка висловлювань.
- Логіка в інформатиці
- Математична логіка
- Формальні мови
Комп'ютерна програма
Комп'ютерна програма Комп'ю́терна програ́ма (Computer program) — набір інструкцій у вигляді слів, цифр, кодів, схем, символів чи у будь-якому іншому вигляді, виражених у формі, придатній для зчитування (комп'ютером), які приводять його у дію для досягнення певної мети або результату (це поняття охоплює як операційну систему, так і прикладну програму, виражені у вихідному або об'єктному кодах).
Переглянути Рерайтинг (математика) і Комп'ютерна програма
Кон'юнктивна нормальна форма
Кон'юнкти́вна норма́льна фо́рма (КНФ) в булевій логіці - нормальна форма в якій булева формула має вид кон'юнкції декількох диз'юнктів (де диз'юнктами називаються диз'юнкції декількох пропозиційних символів або їх заперечень).
Переглянути Рерайтинг (математика) і Кон'юнктивна нормальна форма
Підрядок
В інформатиці підрядок — непорожня зв'язна частина рядка.
Переглянути Рерайтинг (математика) і Підрядок
Правила де Моргана
Логічна схема правил де Моргана Правила де Моргана — властивість булевих алгебр, що дозволяє виразити одну з двоїстих операцій \ \lor,\land через іншу і унарну операцію \ \lnot доповнення (заперечення).
Переглянути Рерайтинг (математика) і Правила де Моргана
Прозорість посилань (інформатика)
Прозорість посилань і непрозорість посилань — це властивості частин комп'ютерних програм.
Переглянути Рерайтинг (математика) і Прозорість посилань (інформатика)
Передпорядок
Передпорядок (відношення передпорядку) — бінарне відношення в теорії порядку, що є рефлексивним та транзитивним.
Переглянути Рерайтинг (математика) і Передпорядок
Обернене відношення
Обернене відношення —в математиці це відношення, взяте в зворотному порядку по відношенню до даного.
Переглянути Рерайтинг (математика) і Обернене відношення
Абетка
250px Абе́тка, азбука, алфаві́т (abecedarium) — розташована в певному порядку сукупність літер, що застосовуються для запису певної мови.
Переглянути Рерайтинг (математика) і Абетка
Автоматизоване доведення теорем
Автоматичне доведення (Automated theorem proving) — доведення, реалізоване на програмному рівні.
Переглянути Рерайтинг (математика) і Автоматизоване доведення теорем
Напівгрупа
Напівгрупа — алгебраїчна структура в абстрактній алгебрі з непорожньої множини та асоціативної бінарної операції, тобто асоціативна магма.
Переглянути Рерайтинг (математика) і Напівгрупа
Недетермінований алгоритм
В інформатиці, недетермінований алгоритм це алгоритм, який передбачає декілька шляхів обробки одних і тих самих вхідних даних, без будь-якого уточнення який саме варіант буде обраний.
Переглянути Рерайтинг (математика) і Недетермінований алгоритм
Рядок (програмування)
Рядок (String — «нитка, низка») або рядковий тип даних — це тип даних, значеннями якого є довільна послідовність (рядок) символів алфавіту.
Переглянути Рерайтинг (математика) і Рядок (програмування)
Рефлексивне відношення
В математиці, бінарне відношення R на множині X є рефлексивним якщо для кожного a ∈ X виконується aRa, тобто Властивість рефлексивності: матриця рефлексивного відношення характеризується тим, що всі елементи головної діагоналі рівні 1; граф — тим, що кожна вершина має петлю — дугу (х, х).
Переглянути Рерайтинг (математика) і Рефлексивне відношення
Транзитивне відношення
В математиці, бінарне відношення R на множині X є транзитивним, якщо для будь-яких a, b, та c з X, виконується: коли a відноситься до b і b відноситься до c, то a відноситься до c.
Переглянути Рерайтинг (математика) і Транзитивне відношення
Морфема
Морфема — найменша частина слів, що має певне значення (за визначенням американського лінгвіста Леонарда Блумфілда, 1933).
Переглянути Рерайтинг (математика) і Морфема
Мовознавство
Мовозна́вство, також лінгві́стика — наука, що вивчає мову в усій складності її прояву; наука про мову взагалі й окремі мови світу як індивідуальних її представників.
Переглянути Рерайтинг (математика) і Мовознавство
Моноїд
Моноїд — алгебраїчна структура з бінарною операцією, що є асоціативною та має нейтральний елемент.
Переглянути Рерайтинг (математика) і Моноїд
Закон подвійного заперечення
Зако́н подві́йного запере́чення — принцип, що покладений в основу класичної логіки, згідно з яким «якщо невірно, що невірно А, то А вірно».
Переглянути Рерайтинг (математика) і Закон подвійного заперечення
Відношення еквівалентності
Відно́шення еквівале́нтності (\sim) на множині X — це бінарне відношення для якого виконуються наступні умови.
Переглянути Рерайтинг (математика) і Відношення еквівалентності
Вільна група
Граф Келі вільної групи породженої двома елементами ''a'' і ''b'' В теорії груп, група G називається вільною групою, якщо існує підмножина S в G, така що кожен елемент G записується єдиним чином як добуток скінченного числа елементів S і їх обернених елементів.
Переглянути Рерайтинг (математика) і Вільна група
Генеративна граматика
Генеративна граматика (від лат. generare – «породжувати» – породжувальна граматика, трансформаційна граматика, граматика Хомського) — категорія генеративної лінгвістики, пов'язана із вивченням синтаксису.
Переглянути Рерайтинг (математика) і Генеративна граматика
Дистрибутивність
Дистрибутивність (розподільний закон) — властивість бінарних операцій, визначених на одній множині.
Переглянути Рерайтинг (математика) і Дистрибутивність
Детермінованість
Детермінованість (determanancy) — властивість алгоритму, яка передбачає, що в ньому усі вказівки повинні бути чіткими й однозначними: значення величин, які отримуються в конкретний момент часу, повинні визначатися значеннями величин, отриманими в попередні моменти часу.
Переглянути Рерайтинг (математика) і Детермінованість
Декларативне програмування
Декларативне програмування — парадигма програмування, відповідно до якої, програма описує, який результат необхідно отримати, замість описання послідовності отримання цього результату.
Переглянути Рерайтинг (математика) і Декларативне програмування
Ізоморфізм
Ізоморфізм (ἴσος - однаковий, μορφή - форма) — бієктивний гомоморфізм.
Переглянути Рерайтинг (математика) і Ізоморфізм
Логіка висловлювань
Логічні висловлювання - поняття висловлювання, як і поняття множини, не означають, а дають йому описову характеристику з використанням багатьох прикладів.
Переглянути Рерайтинг (математика) і Логіка висловлювань
Див. також
Логіка в інформатиці
- Knowledge Interchange Format
- OBJ (мова програмування)
- Satisfiability Modulo Theories
- Інтуїціоністська логіка
- Аксіоматична семантика
- Аксіоми Пеано
- Алгоритмічно нерозв'язна задача
- Арифметика Пресбургера
- Відповідність Каррі — Говарда
- Денотаційна семантика
- Диз'юнкт Горна
- Зворотний вивід
- Карта Карно
- Комбінаційна логіка
- Логіка в інформатиці
- Нечітка логіка
- Операційна семантика
- Перевірка моделі
- Передумова (формальні методи)
- Припущення (програмування)
- Післяумова (формальні методи)
- Рерайтинг (математика)
- Секвенційна логіка
- Стан гонитви
- Типізоване лямбда-числення
- Уніфікація (інформатика)
- Формальна верифікація
- Функціональна повнота
Математична логіка
- Інтерпретація Ербрана
- Істина
- Аксіоми Пеано
- Алгоритм
- Відношення
- Відношення рівності
- Доведення (математика)
- Задача розв'язності
- Закон Пірса
- Замкнений вираз
- Змінна
- Квантова логіка
- Контрапозиція
- Літерал (математична логіка)
- Лічба
- Математична логіка
- Метаматематика
- Методи розробки алгоритмів
- Модальна логіка
- Нескінченно мала величина
- Нумерація Геделя
- Обернене відношення
- Основи математики
- Парадокс Кантора
- Парадокс Каррі
- Повна теорія
- Повнота (логіка)
- Предикат
- Пропозиція (логіка)
- Рекурсивне означення
- Рерайтинг (математика)
- Семантика логіки
- Семантична теорія істини
- Сюрреальні числа
- Таблиця математичних символів
- Тавтологія (логіка)
- Теорема Льоба
- Теорема Льовенгейма — Сколема
- Теорема про компактність
- Теореми Геделя про неповноту
- Теоретико-доказова семантика
- Теорія доведення
- Теорія множин
- Теорія моделей
- Теорія обчислюваності
- Формальна граматика
- Характеристична функція
- Частковий випадок (логіка)
- Ґратка з діленням
Формальні мови
- Diff
- LL(k)-граматика
- SCIgen
- Інтерпретація (логіка)
- Ієрархія Чомскі
- Абетка (інформатика)
- Абстрактне синтаксичне дерево
- Граматика Монтегю
- Граматика визначених тверджень
- Доказ
- Знако-розрядна система числення
- Зірочка Кліні
- Конкатенація
- Контекстно-вільна граматика
- Контекстно-залежна граматика
- Лема про накачку для регулярних мов
- Машина Тюрінга
- Мова розмітки даних
- Нормальна форма Хомського
- Порожній рядок
- Підрядок
- Регулярна мова
- Регулярний вираз
- Рерайтинг (математика)
- Рядок (програмування)
- Символ (логіка)
- Синтаксична діаграма
- Унарна система числення
- Формальна граматика
- Формальна мова
- Формальна система
- Числення Поста
Також відомий як Переписування термів.