Логика предикатов. n-местный предикат. Логические операции над предикатами. Кванторные операции. Формулы логики предикатов. Тождественная истинность и тождественная ложность формулы. Выполнимость формулы.

23.12.2013; 18:17 комментариев: 0 хиты: 60 рейтинг:0

для добавления комментариев необходимо авторизироваться.