На сайт университета

Базы данных

Основная база библиотеки ФГБОУ ВО "ГУМРФ имени адмирала С.О. Макарова" - результаты поиска

Вид поиска
Основная база библиотеки ФГБОУ ВО "ГУМРФ имени адмирала С.О. Макарова"
Сборники научных трудов; Материалы конференций.
Периодические издания (газеты, журналы)
Фонд редкой книги; Морское наследие
Область поиска
в найденном
Формат представления найденных документов:
полный информационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>S=математическая логика<.>)
Общее количество найденных документов : 17
Показаны документы с 1 по 10
 1-10    11-17 
1.

Вид документа : Однотомное издание
Шифр издания : 51/Я85
Автор(ы) : Ястребов, Михаил Юрьевич
Заглавие : Введение в математическую логику : конспект лекций
Выходные данные : СПб.: Изд-во СПбГУВК, 2002
Колич.характеристики :60 с.
Примечания : Библиогр.: с. 59
Цена : 10.00, 10.00, р.
ГРНТИ : 27.03.19
УДК : 510(075)
Предметные рубрики: математическая логика
Экземпляры : всего : ОУЛ (Двинская 5/7, ЦБ)(4)
Свободны : ОУЛ (Двинская 5/7, ЦБ)(4)
Найти похожие
2.

Вид документа :
Шифр издания : 51/Б30
Автор(ы) : Бахтияров, Камиль Ибрагимович
Заглавие : Логика с точки зрения информатики. : Бестселлер в духе Льюиса Кэрролла
Выходные данные : М.: Едиториал УРСС, 2002
Колич.характеристики :128 с
Примечания : Библиогр.: с. 125
ISBN, Цена 5-354-00089-0: 93.93, 93.93, р.
ГРНТИ : 27.03.19
УДК : 510.6
Предметные рубрики: математическая логика
Экземпляры :ОНЛ (Двинская 5/7, ЦБ)(1)
Свободны : ОНЛ (Двинская 5/7, ЦБ)(1)
Найти похожие
3.

Вид документа :
Шифр издания : 51/В75
Автор(ы) : Ворожцов, Артем Викторович
Заглавие : Путь в современную информатику.
Выходные данные : М.: Едиториал УРСС, 2003
Колич.характеристики :144 с
Примечания : Библиогр.: с. 142
ISBN, Цена 5-354-00240-0: 63.79, 63.79, р.
ГРНТИ : 27.03
УДК : 51-7 + 510.6 + 681.3
Предметные рубрики: математическая логика
Прикладная математика
Ключевые слова (''Своб.индексиров.''): комбинаторика.--теория графов.--теория информации.--логика.
Экземпляры :ОНЛ (Двинская 5/7, ЦБ)(1)
Свободны : ОНЛ (Двинская 5/7, ЦБ)(1)
Найти похожие
4.

Вид документа :
Шифр издания : 51/У 774
Автор(ы) : Успенский, Владимир Андреевич, Плиско, Валерий Егорович, Верещагин, Николай Константинович
Заглавие : Вводный курс математической логики : учебное пособие . -[2-е изд.]
Выходные данные : М.: Физматлит, 2004
Колич.характеристики :128 с
Примечания : Библиогр.: с.122 . - Предм. указ.: с. 123
ISBN, Цена 5-9221-0278-8: 129.03, 118.47, р.
ГРНТИ : 27.03
УДК : 510.6
Предметные рубрики: математическая логика
Ключевые слова (''Своб.индексиров.''): теория множеств--теория докозательств--теория алгоритмов--теорема гёделя
Экземпляры : всего : ОНЛ (Двинская 5/7, ЦБ)(2)
Свободны : ОНЛ (Двинская 5/7, ЦБ)(2)
Найти похожие
5.

Вид документа : Однотомное издание
Шифр издания : 51/Л 136
Автор(ы) : Лавров, Игорь Андреевич, Максимова, Лариса Львовна
Заглавие : Задачи по теории множеств, математической логике и теории алгоритмов : монография . -5-е изд., испр.
Выходные данные : М.: Физматлит, 2003
Колич.характеристики :256 с.
Примечания : Библиогр.: с. 248 - 249; Предм. указ.: с. 250 - 255
ISBN, Цена 5-9221-0026-2: 102.26 р.
ГРНТИ : 27
УДК : 510.6
Предметные рубрики: МАТЕМАТИКА
математическая логика
Дескрипторы: МАТЕМАТИКА
Ключевые слова (''Своб.индексиров.''): теория множеств--математическая логика--теория алгоритмов--учебные пособия
Экземпляры : всего 15: ОНЛ (Двинская 5/7, ЦБ)(3), ОУЛ (Двинская 5/7, ЦБ)(13), ЧЗ(2)
Свободны : ОНЛ (Двинская 5/7, ЦБ)(3), ОУЛ (Двинская 5/7, ЦБ)(13), ЧЗ(2)
Найти похожие
6.

Вид документа : Однотомное издание
Шифр издания : 51/Н-531
Автор(ы) : Непейвода Н. Н.
Заглавие : Прикладная логика : учебное пособие для вузов
Выходные данные : Ижевск: Изд-во Удмурдского ун-та, 1997
Колич.характеристики :383с.
ISBN, Цена 5-7029-0074-Х: 50.00 р.
УДК : 510(075)
Предметные рубрики: Математическая логика
Ключевые слова (''Своб.индексиров.''): прикладная логика--математическая логика
Экземпляры :ОНЛ (Двинская 5/7, ЦБ)(1)
Свободны : ОНЛ (Двинская 5/7, ЦБ)(1)
Найти похожие
7.

Вид документа :
Шифр издания : 51/К 552
Автор(ы) : Кобелева, Анастасия Сергеевна
Заглавие : Математика. Введение в математическую логику : [учебное пособие]
Выходные данные : СПб.: Изд-во СПбГУВК, 2007
Колич.характеристики :32 с
Цена : 30.00 р.
ГРНТИ : 27.03.19
УДК : 510.6(075)
Предметные рубрики: математическая логика
Ключевые слова (''Своб.индексиров.''): математическая логика
Экземпляры : всего 22: ОНЛ (Двинская 5/7, ЦБ)(3), ОУЛ (Двинская 5/7, ЦБ)(20), ЧЗ(2)
Свободны : ОНЛ (Двинская 5/7, ЦБ)(3), ОУЛ (Двинская 5/7, ЦБ)(20), ЧЗ(2)
Найти похожие
8.

Вид документа :
Шифр издания : 51/Н 915
Автор(ы) : Нырков, Анатолий Павлович, Морозова, Елена Владимировна
Заглавие : Математическая логика (Алгебра высказываний) : [учебное пособие]
Выходные данные : СПб.: Изд-во СПбГУВК, 2006
Колич.характеристики :80 с
Цена : 30.00 р.
ГРНТИ : 27.03.19
УДК : 510.6(075)
Предметные рубрики: Математическая логика
Ключевые слова (''Своб.индексиров.''): многочлены жегалкина--логические формулы
Экземпляры : всего 12: ОНЛ (Двинская 5/7, ЦБ)(3), ОУЛ (Двинская 5/7, ЦБ)(10), ЧЗ(2)
Свободны : ОНЛ (Двинская 5/7, ЦБ)(3), ОУЛ (Двинская 5/7, ЦБ)(10), ЧЗ(2)
Найти похожие
9.

Вид документа :
Шифр издания : 51/Л 656
Автор(ы) : Лихтарников, Леонид Моисеевич, Сукачева, Тамара Геннадьевна
Заглавие : Математическая логика. : курс лекций, задачник-практикум, решения, учебное пособие . -3-е изд., испр.
Выходные данные : СПб.; М.; Краснодар: Лань, 2008
Колич.характеристики :288 с
Серия: Учебники для вузов. Специальная литература
Примечания : Библиогр.: с. 273
ISBN, Цена 978-5-8114-0082-9: 304.48 р.
ГРНТИ : 27.03.19
УДК : 510.6(075)
Предметные рубрики: математическая логика
Экземпляры : всего 7: ОНЛ (Двинская 5/7, ЦБ)(3), ЧЗ(2), ОУЛ (Двинская 5/7, ЦБ)(5)
Свободны : ОНЛ (Двинская 5/7, ЦБ)(3), ЧЗ(2), ОУЛ (Двинская 5/7, ЦБ)(5)
Найти похожие
10.

Вид документа :
Шифр издания : 51/К 560
Автор(ы) : Ковалев, Юрий Николаевич
Заглавие : Основы математической логики : текст лекций . -изд. с дополнениями
Выходные данные : СПб.: ФГОУ ВПО СПГУВК, 2008
Колич.характеристики :93 с
Цена : 30.00 р.
ГРНТИ : 27.03.19
УДК : 510.6(075)
Предметные рубрики: Математическая логика
Ключевые слова (''Своб.индексиров.''): алгебра логики--булева алгебра--логические функции
Экземпляры : всего 7: ОНЛ (Двинская 5/7, ЦБ)(3), ЧЗ(2), ОУЛ (Двинская 5/7, ЦБ)(5)
Свободны : ОНЛ (Двинская 5/7, ЦБ)(3), ЧЗ(2), ОУЛ (Двинская 5/7, ЦБ)(5)
Найти похожие
 1-10    11-17 
 
Стандартный
Расширенный
Профессиональный
По словарю
УДК-навигатор
Инструкция по видам поиска
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)

Яндекс.Метрика