Булева алгÐ&

Булева алгÐ&

Info iconThis preview shows page 1. Sign up to view the full content.

View Full Document Right Arrow Icon
1. Булева алгебра. 2. Теорія першого порядку. 3. Логіка предикатів. 4. Логіка предикатів (практика). 5. Логіка висловлювань. 6. Числення висловлювань. 7. Метод Ербрана. 8. Метод Гілмера. 9. Метод Девіса і Патнема. 10.Метод резолюции. 11. Рекурсивные функции, примитивно рекурсивные функции, частично
Background image of page 1
This is the end of the preview. Sign up to access the rest of the document.

This note was uploaded on 11/05/2011 for the course ECON 101 taught by Professor Stalin during the Fall '11 term at Jönköping University.

Ask a homework question - tutors are online