11 відносини: Правила де Моргана, Причинність, Премія Тюрінга, Амір Пнуелі, Унарна операція, Формальна верифікація, Модальна логіка, Бінарна операція, Інформатика, Логічний сполучник, 1960-ті.
Правила де Моргана
Логічна схема правил де Моргана Правила де Моргана — властивість булевих алгебр, що дозволяє виразити одну з двоїстих операцій \ \lor,\land через іншу і унарну операцію \ \lnot доповнення (заперечення).
Новинка!!: Темпоральна логіка і Правила де Моргана · Побачити більше »
Причинність
Причи́нність, також причи́нно-наслідко́вий зв’язо́к, причи́новість, причи́ново-наслідко́вий зв’язо́к, кауза́льність — (неформально, нестрого розуміючи) '''зв’язок''' між подією А («'''причиною'''») й іншою подією Б («'''наслідком'''»), яка необхідно настає за першою чи витікає з неї.
Новинка!!: Темпоральна логіка і Причинність · Побачити більше »
Премія Тюрінга
Премія Тюрінга (Turing Award) — найпрестижніша премія в галузі інформатики, щорічно присуджується Асоціацією обчислювальної техніки за видатні досягнення у цій галузі.
Новинка!!: Темпоральна логіка і Премія Тюрінга · Побачити більше »
Амір Пнуелі
Амір Пнуелі (אמיר פנואלי; Amir Pnueli.; 22 квітня 1941 — 2 листопада 2009) — ізраїльський вчений-теоретик в галузі комп'ютерних наук, лауреат премії Тюрінга.
Новинка!!: Темпоральна логіка і Амір Пнуелі · Побачити більше »
Унарна операція
В математиці унарна операція — операція тільки з одним операндом, інакше операція з єдиним входом, або функція від однієї змінної.
Новинка!!: Темпоральна логіка і Унарна операція · Побачити більше »
Формальна верифікація
Верифіка́ція форма́льна — в інформаційних технологіях, доказ, або заперечення відповідності системи у відношенні до певної формальної специфікації або характеристики, із використанням формальних методів математики.
Новинка!!: Темпоральна логіка і Формальна верифікація · Побачити більше »
Модальна логіка
Мода́льна ло́гіка — це розділ сучасної логіки, де вивчаються модальні висловлювання та їхні відношення в структурі міркувань.
Новинка!!: Темпоральна логіка і Модальна логіка · Побачити більше »
Бінарна операція
Біна́рна опера́ція (бінарний оператор) — це математичний об'єкт, що складається з двох величин і певної дії над ними.
Новинка!!: Темпоральна логіка і Бінарна операція · Побачити більше »
Інформатика
Інформа́тика (informatics, information science; Informatik; информатика) — теоретична та прикладна (технічна, технологічна) дисципліна, що вивчає структуру і загальні властивості інформації, а також методи і (технічні) засоби її створення, перетворення, зберігання, передачі та використання в різних галузях людської діяльності.
Новинка!!: Темпоральна логіка і Інформатика · Побачити більше »
Логічний сполучник
Логі́чний сполу́чник – логічний термін, функція якого полягає в утворенні складних висловлювань.
Новинка!!: Темпоральна логіка і Логічний сполучник · Побачити більше »
1960-ті
;бунти, антиколоніалізм.
Новинка!!: Темпоральна логіка і 1960-ті · Побачити більше »