Я буду сдавать экзамен по Математической логике, но сам ее не очень-то знаю.
Препод посоветывал почитать мне Новикова или Карпова. Интересуют разделы "Булева алгебра", "Теория предикатов", "Пролог" и прочее.
Как считаете, книги хорошие? Точные названия не помню. И можно ли их скачать в интернете?


Вы не можете добавлять комментарии в эту тему. Тема перемещена в архив.
Похожие темы
- Форум Нужен unicode шрифт (2009)
- Форум Дайте чего-нибудь по векторным пространствам (2007)
- Новости Sage 4.6 (2010)
- Форум [подработка] Помогу студенту/школьнику (2011)
- Форум Предтечи Computer Science (2014)
- Форум Теоритические основы функционального программирования (2005)
- Новости Nokia запустила новый уровень сертификации Qt программистов (2011)
- Форум Математическая база (2006)
- Форум Требуется прикладной программист (Питер) (2010)
- Форум Теория информации, М.Мазур (2012)