Часовой пояс: UTC + 3 часа




Начать новую тему Ответить на тему  [ 1 сообщение ] 
Автор Сообщение
СообщениеДобавлено: 2011-11-24 00:47 
Не в сети
Аватара пользователя
Раздал: 7.49 ГБ
Скачал: 85.59 МБ
Ратио: 89.651


Зарегистрирован: 2011-11-21 17:59
Сообщения: 2666
Откуда: Moldova Кишинев
#777
Счётные булевы алгебры и разрешимость
Год: 1996
Автор: Гончаров С.С.
Жанр: Монография
Издательство: Новосибирск: Научная книга
ISBN: 5-88119-004-1
Серия: Сибирская школа алгебры и логики
Язык: Русский
Формат: DjVu
Качество: Отсканированные страницы + слой распознанного текста
Количество страниц: 373
Описание: Третий том учрежденной в 1995 г. Сибирским фондом алгебры и логики математической книжной серии "Сибирская школа алгебры и логики" под редакцией академика Ю.Л.Ершова. Все книги серии издаются одновременно на английском языке издательством Plenum Publishing Corporation.
Существенно переработанная и дополненная новыми результатами версия книги автора «Счетные булевы алгебры» (Новосибирск, Наука, 1988). Алгебраические основы теории булевых алгебр излагаются на основе критерия Воота и доказательства Ершова классификации Кетонена. Изучаются элементарные теории и алгоритмические свойства булевых алгебр. Демонстрируется применение различных методов, в частности, методы счетных насыщенных моделей, разрешимых однородных моделей и ветвящихся моделей, а также представлены подходы к изучению производных структур: решеток подалгебр, групп автоморфизмов и вычислимых классов.
Для интересующихся математической логикой и алгеброй.





Опубликовано группой


У вас нет необходимых прав для просмотра вложений в этом сообщении.


Вернуться к началу
 Профиль  
Ответить с цитатой  
  • Торрент
Автор: kotiar Хэш: ---
Добавлен: 2011-11-24 01:09 Приватный: Нет (DHT включён)
Статус:
---
Размер: 3.57 МБ (3 744 782 байт)
Изменил:
---
Скачали: 0 (Раздающих: 0%)
Причина:
---
Здоровье: 0%
Сидеров: 0 Личеров: 0
Скорость раздачи: 0 байт/сек Скорость скачивания: 0 байт/сек
Последний сидер: Нет Последний личер: Нет
Для скачивания торрента необходимо зарегистрироваться или войти на трекер.
Показать сообщения за:  Поле сортировки  
Начать новую тему Ответить на тему  [ 1 сообщение ] 

Часовой пояс: UTC + 3 часа


Кто сейчас на конференции

Сейчас этот форум просматривают: нет зарегистрированных пользователей и гости: 10


Вы не можете начинать темы
Вы не можете отвечать на сообщения
Вы не можете редактировать свои сообщения
Вы не можете удалять свои сообщения
Вы не можете добавлять вложения

Найти:
Перейти:  
Переместиться наверх
 Главная |  Список форумов |   Time : 3.316s | 15 Queries | GZIP : Off |
tracker_cron