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

Базы данных

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

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

Вид документа : Однотомное издание
Шифр издания : 16/Б 912
Автор(ы) : Бургин М. С., Кузнецов В. И.
Заглавие : Введение в современную точную методологию науки : структуры систем знаний : пособие для студентов вузов
Выходные данные : М.: Аспект Пресс, 1994
Колич.характеристики :303 с.
Серия: Программа "Обновление гуманитарного образования в России"
Примечания : Библиогр. в конце глав
ISBN, Цена 5-86318-070-6: 5000.00, 2000.00, р.
ГРНТИ : 02.21
УДК : 167/168
Предметные рубрики: Методология науки
Ключевые слова (''Своб.индексиров.''): математическая логика--эвристические процедуры--типы суперязыков
Экземпляры :ОНЛ (Двинская 5/7, ЦБ)(1)
Свободны : ОНЛ (Двинская 5/7, ЦБ)(1)
Найти похожие
2.

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

Вид документа : Однотомное издание
Шифр издания : 681.3.06/К-658
Автор(ы) : Копанев, Александр Алексеевич, Ковалев Ю. Н., Францев Р. Э.
Заглавие : Логические системы управления : тексты лекций
Выходные данные : СПб.: Изд-во СПбГУВК, 2000
Колич.характеристики :102с.
Цена : 5.00 р.
УДК : 681.3.06.01(075)
Ключевые слова (''Своб.индексиров.''): логические системы управления--математическая логика
Экземпляры : всего : ОНЛ (Двинская 5/7, ЦБ)(2)
Свободны : ОНЛ (Двинская 5/7, ЦБ)(2)
Найти похожие
4.

Вид документа : Однотомное издание
Шифр издания : 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)
Найти похожие
5.

Вид документа :
Шифр издания : 51/Я 452
Автор(ы) : Якиманская, Ираида Сергеевна
Заглавие : Психологические основы математического образования : учебное пособие для студентов вузов, обучающихся по специальности 050201 "Математика"
Выходные данные : М.: Издательский центр "Академия", 2004
Колич.характеристики :320 с
Серия: Высшее профессиональное образование
Примечания : Библиогр.: с. 312-318
ISBN, Цена 5-7695-1836-7: 210.10 р.
ГРНТИ : 27.03.19
УДК : 510.6(075)
Предметные рубрики: Математическая логика
Ключевые слова (''Своб.индексиров.''): математическая логика--пространственное мышление
Экземпляры :ОНЛ (Двинская 5/7, ЦБ)(1)
Свободны : ОНЛ (Двинская 5/7, ЦБ)(1)
Найти похожие
6.

Вид документа :
Шифр издания : 51/К 562
Автор(ы) : Коваленко, Сергей Иванович
Заглавие : Решение задач математической логики с использованием элементарной алгебры : научное издание
Выходные данные : М.: Физматлит, 2004
Колич.характеристики :80 с
ISBN, Цена 5-94052-069-5: 77.86 р.
ГРНТИ : 27.03
УДК : 510.6
Предметные рубрики: математическая логика
Ключевые слова (''Своб.индексиров.''): математическая логика
Экземпляры : всего : ОНЛ (Двинская 5/7, ЦБ)(3), ЧЗ(2)
Свободны : ОНЛ (Двинская 5/7, ЦБ)(3), ЧЗ(2)
Найти похожие
7.

Вид документа :
Шифр издания : 51/П 305
Автор(ы) : Петров, Юрий Александрович
Заглавие : Логические проблемы абстракций бесконечности и осуществимости : научное издание . -2-е изд., испр.
Выходные данные : М.: Едиториал УРСС, 2004
Колич.характеристики :200 с
Примечания : Библиогр.: с. 160-162
ISBN, Цена 5-354-00975-8: 142.00 р.
ГРНТИ : 27.03.19
УДК : 510.6
Предметные рубрики: математическая логика
Ключевые слова (''Своб.индексиров.''): математическая логика
Экземпляры :ОНЛ (Двинская 5/7, ЦБ)(1)
Свободны : ОНЛ (Двинская 5/7, ЦБ)(1)
Найти похожие
8.

Вид документа :
Шифр издания : 51/Н 723
Автор(ы) : Новак, Вилем, Перфильева, Ирина, Мочкорж, Иржи
Заглавие : Математические принципы нечеткой логики : научное издание
Выходные данные : М.: Физматлит, 2006
Колич.характеристики :352 с
Примечания : Библиогр.: с. 335-343. - Предм. указ.: с. 344-347
ISBN, Цена 5-9221-0399-7: 306.00 р.
ГРНТИ : 27.03.19
УДК : 510.6
Предметные рубрики: математическая логика
Ключевые слова (''Своб.индексиров.''): математическая логика--алгебра логики--классическая логика--нечеткая логика
Экземпляры :ОНЛ (Двинская 5/7, ЦБ)(1)
Свободны : ОНЛ (Двинская 5/7, ЦБ)(1)
Найти похожие
9.

Вид документа : Однотомное издание
Шифр издания : 004/И 741
Автор(ы) : Казанцев, Сергей Яковлевич, Калинина В. Н., Згадзай, Олег Эдуардович, Левин В. И., Филиппов А. В., Дорошин А. А., Дубинина Н. М.
Заглавие : Информатика и математика для юристов : учебник для студентов вузов, обучающихся по специальности "Юриспруденция" (021100) . -2-е изд., перераб. и доп.
Выходные данные : М.: ЮНИТИ, 2006
Колич.характеристики :560 с.
Примечания : Библиогр.: с. 548 - 553
ISBN, Цена 5-238-00928-3
ГРНТИ : 10 + 20
УДК : 004:34(075)
Предметные рубрики: ИНФОРМАТИКА
МАТЕМАТИКА
Дескрипторы: ПРАВОВАЯ ИНФОРМАТИЗАЦИЯ--ИНФОРМАТИЗАЦИЯ--ИНФОРМАТИКА--ИНФОРМАЦИОННЫЕ ТЕХНОЛОГИИ И ОБРАБОТКА ДАННЫХ--ИНФОРМАЦИОННАЯ БЕЗОПАСНОСТЬ--МАТЕМАТИКА--МАТЕМАТИЧЕСКАЯ ЛОГИКА--ПРАВОВЕДЕНИЕ
Ключевые слова (''Своб.индексиров.''): юриспруденция--математическая логика--математическая статистика--теория вероятностей--информационное обеспечение--информационные технологии--компьютерные технологии--программное обеспечение
Экземпляры : всего 32: ОНЛ (Двинская 5/7, ЦБ)(3), ЧЗ(2), ОУЛ (Двинская 5/7, ЦБ)(30)
Свободны : ОНЛ (Двинская 5/7, ЦБ)(3), ЧЗ(2), ОУЛ (Двинская 5/7, ЦБ)(30)
Найти похожие
10.

Вид документа :
Шифр издания : 519.8/С 544
Автор(ы) : Соболева, Татьяна Сергеевна, Чечкин, Александр Витальевич
Заглавие : Дискретная математика : учебник для студентов вузов, обучающихся по специальностям направлений подготовки "Информатика и вычислительная техника", "Информационные системы", "Информационная безопасность"
Выходные данные : М.: Издательский центр"Академия", 2006
Колич.характеристики :256 с
Серия: Университетский учебник. Прикладная математика и информатика
Примечания : Библиогр.: с. 252
ISBN, Цена 5-7695-2823-0: 181.19 р.
УДК : 519.85(075)
Предметные рубрики: Математическое программирование
Ключевые слова (''Своб.индексиров.''): множества--топология--математическая логика--математическая кибернетика--математическая информатика
Экземпляры : всего : ОНЛ (Двинская 5/7, ЦБ)(3), ЧЗ(2)
Свободны : ОНЛ (Двинская 5/7, ЦБ)(3), ЧЗ(2)
Найти похожие
 1-10    11-13 
 
Стандартный
Расширенный
Профессиональный
По словарю
УДК-навигатор
Инструкция по видам поиска
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)

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