Виды поиска
Стандартный Расширенный Профессиональный Словарь
Навигаторы
ГРНТИ УДК Тезаурус
База данных
|
Формат представления найденных документов: | ||
полный | информационный | краткий |
Общее количество найденных документов : 2 Показаны документы с 1 по 2 |
1. ![]() |
Вид документа : Однотомное издание Шифр издания : 51/Л 136 Автор(ы) : Лавров, Игорь Андреевич, Максимова, Лариса Львовна Заглавие : Задачи по теории множеств, математической логике и теории алгоритмов. . -5-е изд., исправленное Выходные данные : Москва: Физматлит, 2004 Колич.характеристики :256 с ISBN, Цена 5-9221-0026-2: 129.36 р. УДК : 510 Предметные рубрики: Естественные науки-- Математика Ключевые слова (''Своб.индексиров.''): множества--отношения--функции--бинарные отношения--математическая логика--предикаты--машины тьюринга--нумерации клини и поста Аннотация: В книге в форме задач систематически изложены основы теории множеств, математической логики и теории алгоритмов. Книга предназначена для активного изучения математической логики и смежных с ней наук. Экземпляры : всего : ОХФ(1), АУНЛ(9) Свободны : ОХФ(1), АУНЛ(9) Экземпляры всего: 10 ОХФ; 1, 1 (1), АУНЛ; 9, 9 (9) Свободны: ОХФ; 1, 1 (1), АУНЛ; 9, 9 (9) Держатели документа: КемГСХИ : 650056, Кемерово, ул. Марковцева, 5 Доп.точки доступа: Максимова, Лариса Львовна |
2. ![]() |
Вид документа : Однотомное издание Шифр издания : 01.04.01/К 77 Автор(ы) : Кравченко, Виктор Филиппович, Рвачев, Владимир Логвинович, Заглавие : Алгебра логики, атомарные функции и вейвлеты в физических приложениях / В. Ф. Кравченко, В. Л. Рвачев Выходные данные : Москва: Издательство физико-математической литературы, 2006 Колич.характеристики :416 с ISBN, Цена 5-9221-0752-6: Б.ц. УДК : 510 ББК : 22.19+32.811 Предметные рубрики: ЕСТЕСТВЕННЫЕ НАУКИ. МАТЕМАТИКА-- Физико-математические науки Свободных экз. нет Перейти: http://znanium.com/go.php?id=544654 Доп.точки доступа: Рвачев, Владимир Логвинович |