Учебник по математической логике. Содержит большой материал.

Шпоры по Теории Информации. Смагин А. А. , Ульяновск, Ульяновский Государственный Университет (УлГУ),  Факультет Математики и Информационных Технологий (ФМиИТ)
Нужно распечатать каждую страницу с обеих сторон листка!

Всплывает окно, где можно выполнить вход или зарегистрироваться. Но также можно выводить любую информацию. Это окно появляется только тогда, когда пользователь - гость, т. е. не выполнил вход или не зарегистрировался. Если пользователь вошел на сайт под своим именем, то окно не появляется.

NVU это Open Source проект Linspire по созданию визуального (WYSIWYG) HTML редактора. Как и для Firefox и Thunderbird основой для создания NVU послужила часть кода выделенного из Mozilla - код Mozilla Composer. К созданию NVU был привлечен главный архитектор Mozilla Composer - Дэниел Глазман. На сегодняшний день NVU имеет уже достаточно много возможностей отсутствующих в оригинальном Mozilla Composer. Это Менеджер сайтов, позволяющий редактировать страницы на удаленном сервере, встроенный Редактор CSS c предварительным просмотром стилей, цветная подсветка синтаксиса в режиме редактирования кода, проверка орфографии и многое другое. Разработчики обещают поднять его функциональность до уровня FrontPage и Dreamweaver.