Знаймо

Додати знання

приховати рекламу

Цей текст може містити помилки.

Логічне числення



Логічні числення - теорія формальних логічних обчислень. Ця теорія інакше називається ще математичної або формальною логікою.

Історично логічні обчислення були розроблені для теоретичної формалізації процесу докази в різних теоріях.

Прикладами найбільш часто використовуваних числень є обчислення висловлювань і обчислення предикатів.

Платон і Аристотель Це заготовка статті по філософії. Ви можете допомогти проекту, виправивши або дописавши її.

Цей текст може містити помилки.

Схожі роботи | скачати

Схожі роботи:
Логічне програмування
Варіаційне числення
Операційне числення
Лямбда-числення
Реляційне числення
Лямбда-числення
Тензорне числення
Інтегральне числення
Диференціальне числення
© Усі права захищені
написати до нас
Рейтинг@Mail.ru