{[ promptMessage ]}

Bookmark it

{[ promptMessage ]}

Булева алгÐ&

Булева алгÐ&

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.

{[ snackBarMessage ]}

Ask a homework question - tutors are online