Виды поиска 
Стандартный   Расширенный  Профессиональный   Словарь   

Навигаторы 
ГРНТИ  УДК  Тезаурус

База данных
Область поиска 
Запрос 
Формат представления найденных документов:
полныйинформационныйкраткий
Общее количество найденных документов : 2
Показаны документы с 1 по 2
1. 51
Л 136

Лавров, Игорь Андреевич.
Задачи по теории множеств, математической логике и теории алгоритмов. [Текст] / И. А. Лавров, Л. Л. Максимова. - 5-е изд., исправленное. - Москва : Физматлит, 2004. - 256 с. - ISBN 5-9221-0026-2 : 129.36 р.
УДК
510
Рубрики: Естественные науки--Математика
Кл.слова (ненормированные):
множества -- отношения -- функции -- бинарные отношения -- математическая логика -- предикаты -- машины Тьюринга -- нумерации Клини и Поста
Аннотация: В книге в форме задач систематически изложены основы теории множеств, математической логики и теории алгоритмов. Книга предназначена для активного изучения математической логики и смежных с ней наук.
Держатели документа:
КемГСХИ : 650056, Кемерово, ул. Марковцева, 5

Доп.точки доступа:
Максимова, Лариса Львовна
Экземпляры всего: 10
ОХФ; 1, 1 (1), АУНЛ; 9, 9 (9)
Свободны: ОХФ; 1, 1 (1), АУНЛ; 9, 9 (9)
2. 01.04.01
К 77

Кравченко, Виктор Филиппович.
Алгебра логики, атомарные функции и вейвлеты в физических приложениях [Текст] / В. Ф. Кравченко, В. Л. Рвачев. - Москва : Издательство физико-математической литературы, 2006. - 416 с. - ISBN 5-9221-0752-6 : Б. ц.
УДК
510
ББК 22.19+32.811
РУБ 01.04.01 + 01.03.01
Рубрики: ЕСТЕСТВЕННЫЕ НАУКИ. МАТЕМАТИКА--Физико-математические науки
Перейти: http://znanium.com/go.php?id=544654

Доп.точки доступа:
Рвачев, Владимир Логвинович
Свободных экз. нет