Электронный каталог библиотеки ФГБОУ ВО "ГУМРФ имени адмирала С.О. Макарова"

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

Базы данных

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

Вид поиска

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

Сборники научных трудов; Материалы конференций.

Периодические издания (газеты, журналы)

Фонд редкой книги; Морское наследие

Область поиска

в найденном

Найдено в других БД:

Сборники научных трудов; Материалы конференций. (8)

Периодические издания (газеты, журналы) (19)

Формат представления найденных документов:
полный	информационный	краткий

Отсортировать найденные документы по:
автору	заглавию	году издания	типу документа

Поисковый запрос: (<.>K=логика<.>)

Общее количество найденных документов : 106
Показаны документы с 1 по 10

1-10 11-20 21-30 31-40 41-50 51-60

   656.6
   Б 247

    Бардин, Алексей Константинович.
    Автоматизация перегрузочных работ [Текст] : [методические указания по выполнению лабораторных работ] / А. К. Бардин, Э. Т. Лейферт ; С.-Петербург. гос. ун-т водных коммуникаций; Федеральное агентство морского и речного транспорта. . - СПб. : ФГОУ ВПО СПГУВК, 2005. - 29 с. - Библиогр.: с. 26. - 20.00 р.

УДК

656.62.073.23:62-52(075)

Кл.слова (ненормированные):
перегрузочные работы в портах -- роботы -- перегрузочные комплексы -- малая механизация -- непрерывный транспорт -- логика -- грузоподъемные комплексы

Доп.точки доступа:
Лейферт, Эрих Теодорович
Экземпляры всего: 25
ОУЛ (Двинская 5/7, ЦБ) (23), ЧЗ (2)
Свободны: ОУЛ (Двинская 5/7, ЦБ) (23), ЧЗ (2)
Найти похожие

   656.6
   Б 247

   Бардин, Алексей Константинович
    Автоматизация перегрузочных работ [Текст] : учебное пособие для вузов, обучающихся по направлению 653300 "Эксплуатация транспорта и транспортного оборудования", по специальности 150900 "Эксплуатация перегрузочного оборудования портов и транспортных терминалов" / А. К. Бардин.
   Ч.1 / Федеральное агентство морского и речного транспорта. С.-Петербург. гос. ун-т водных коммуникаций. - СПб. : Изд-во СПбГУВК, 2006. - 118 с. - Библиогр.: с. 117-118. - 30.00 р.

УДК

656.62.073.23:62-52(075)

Кл.слова (ненормированные):
перегрузочные работы в портах -- роботы -- перегрузочные комплексы -- малая механизация -- непрерывный транспорт -- логика -- грузоподъемные комплексы

Экземпляры всего: 30
ОНЛ (Двинская 5/7, ЦБ) (3), ОУЛ (Двинская 5/7, ЦБ) (25), ЧЗ (2)
Свободны: ОНЛ (Двинская 5/7, ЦБ) (3), ОУЛ (Двинская 5/7, ЦБ) (25), ЧЗ (2)
Найти похожие

   378
   А-226


    Авторские учебные программы по гуманитарным и социально-экономическим дисциплинам: философия, логика, социология, культурология [Текст] : для студентов вузов / Ин-т "Открытое общество" ; ред. В. И. Бахмин. - М. : Логос, 1998. - 208с. - ISBN 5-88439-110-2 : 10.00 р., 30.00 р.

ГРНТИ	00
УДК	1(075)	16(075)	316(075)	130.2(075)

Рубрики: ФИЛОСОФИЯ--социология--культура
Кл.слова (ненормированные):
ФИЛОСОФИЯ -- ЛОГИКА -- СОЦИОЛОГИЯ -- КУЛЬТУРОЛОГИЯ

Доп.точки доступа:
Бахмин, В. И. \ред.\
Экземпляры всего: 5
ОНЛ (Двинская 5/7, ЦБ) (5)
Свободны: ОНЛ (Двинская 5/7, ЦБ) (5)
Найти похожие

   004
   Ж 911

    Журавлев, Антон Евгеньевич.
    Архитектура ЭВМ и систем [Текст] : учебное пособие по направлению подготовки 230400.62 "Информационные системы и технологии", 010400.62 "Прикладная информатика" / А. Е. Журавлев ; ФГБОУ ВО Государственный университет морского и речного флота имени адмирала С. О. Макарова. Институт водного транспорта. Каф. вычислительных систем и информатики). - СПб. : Изд-во ГУМРФ им. адм. С. О. Макарова, 2015. - 136 с. - (Ин-т водного транспорта). - Библиогр.: с. 133-134. - ISBN 978-5-9509-0184-3 : 138.60 р.

ГРНТИ	50.33.03
УДК	004.2(075)

Рубрики: Информационные технологии--Архитектура ЭВМ
Кл.слова (ненормированные):
языки программирования -- цифровая логика -- операционная система компьютера

Перейти: текст документа

Доп.точки доступа:
ФГБОУ ВО Государственный университет морского и речного флота имени адмирала С. О. Макарова; Институт водного транспорта. Каф. вычислительных систем и информатики
Экземпляры всего: 20
ОНЛ (Двинская 5/7, ЦБ) (3), ОУЛ (Двинская 5/7, ЦБ) (17)
Свободны: ОНЛ (Двинская 5/7, ЦБ) (3), ОУЛ (Двинская 5/7, ЦБ) (17)
Найти похожие

   16
   Г 657

    Гончаров, Сергей Севостьянович.
    Введение в логику и методологию науки [Текст] : [учеб. пособие] / С. С. Гончаров, Ю. Л. Ершов, К. Ф. Самохвалов. - Москва : Интерпракс, 1994. - 255 с. - (Программа "Обновление гуманитарного образования в России"). - Библиогр.: с. 239-241. - ISBN 5-86134-009-9 : 3000.00 р.

ГРНТИ	02.21
УДК	16(075)

Рубрики: Логика--учебники и пособия
Кл.слова (ненормированные):
логика науки -- методология науки -- наука -- логика -- множества -- отношения -- функции -- аксиоматические системы -- эмпирические теории -- эмпирические исследования -- аксиоматическое представление -- термины -- постулаты -- индукция -- теория измерений -- математика -- программа Гильберта -- учебные пособия

Доп.точки доступа:
Ершов, юрий Леонидович; Самохвалов, Климентий Федорович
Экземпляры всего: 2
ОНЛ (Двинская 5/7, ЦБ) (2)
Свободны: ОНЛ (Двинская 5/7, ЦБ) (2)
Найти похожие

   51
   Я85

    Ястребов, Михаил Юрьевич.
    Введение в математическую логику [Текст] : конспект лекций / М. Ю. Ястребов ; Министерство транспорта Российской Федерации; Санкт-Петербургский государственный университет водных коммуникаций. - СПб. : Изд-во СПбГУВК, 2002. - 60 с. - Библиогр.: с. 59. - 10.00 р.

ГРНТИ	27.03.19
УДК	510(075)

Рубрики: математическая логика

Экземпляры всего: 4
ОУЛ (Двинская 5/7, ЦБ) (4)
Свободны: ОУЛ (Двинская 5/7, ЦБ) (4)
Найти похожие

   16
   Б 912

    Бургин, М. С.
    Введение в современную точную методологию науки [Текст] : структуры систем знаний : пособие для студентов вузов / М. С. Бургин, В. И. Кузнецов. - М. : Аспект Пресс, 1994. - 303 с. - (Программа "Обновление гуманитарного образования в России"). - Библиогр. в конце глав. - ISBN 5-86318-070-6 : 2000.00 р.

ГРНТИ	02.21
УДК	167/168

Рубрики: Методология науки--Учебные издания для высших учебных заведений
Кл.слова (ненормированные):
МАТЕМАТИЧЕСКАЯ ЛОГИКА -- ЭВРИСТИЧЕСКИЕ ПРОЦЕДУРЫ -- ТИПЫ СУПЕРЯЗЫКОВ

Доп.точки доступа:
Кузнецов, В. И.
Экземпляры всего: 1
ОНЛ (Двинская 5/7, ЦБ) (1)
Свободны: ОНЛ (Двинская 5/7, ЦБ) (1)
Найти похожие

   51
   У 774

    Успенский, Владимир Андреевич.
    Вводный курс математической логики [Текст] : учебное пособие / В. А. Успенский, Н. К. Верещагин, В. Е. Плиско. - [2-е изд.]. - М. : Физматлит, 2004. - 128 с. - Библиогр.: с.122 . - Предм. указ.: с. 123. - ISBN 5-9221-0278-8 : 129.03 р., 118.47 р.

ГРНТИ	27.03
УДК	510.6

Рубрики: математическая логика
Кл.слова (ненормированные):
теория множеств -- теория докозательств -- теория алгоритмов -- теорема Гёделя

Доп.точки доступа:
Плиско, Валерий Егорович; Верещагин, Николай Константинович
Экземпляры всего: 2
ОНЛ (Двинская 5/7, ЦБ) (2)
Свободны: ОНЛ (Двинская 5/7, ЦБ) (2)
Найти похожие

   004.43
   Д 941

    Дэвидсон- Пайлон , Кэмерон.
    Вероятностное программирование на Python: байсовский вывод и алгоритмы. [Текст] / К. Дэвидсон- Пайлон ; пер.: И. Пальти (с англ.), К. Русецкий (с англ.). - М. ; СПб. ; Нижний Новгород и др. : Питер, 2020. - 256 с. : ил. - (Библиотека программиста). - Библиогр.: с. 250. - ISBN 978-5-4461-1058-2 : 1981.22 р.

ГРНТИ	20	50.35.37
УДК	004.43

Рубрики: языки программирования
Кл.слова (ненормированные):
байесовское мышление -- анализ данных -- бейсовские данные -- логика -- вероятностное программирование

Доп.точки доступа:
Пальти, И. \пер.\; (с англ.); Русецкий, К. \пер.\
Экземпляры всего: 1
ОНЛ (Двинская 5/7, ЦБ) (1)
Свободны: ОНЛ (Двинская 5/7, ЦБ) (1)
Найти похожие

10.

   51
   В 937

    Высшая математика для экономистов. В 3-х. т. [Текст] : учебник для экономических специальностей учреждений , обеспечивающих получение высшего образования .
   Т.2 : Теория вероятностей в экономике . Методы оптимизации и экономические модели / [И. В. Гайшун, С. А. Минюк, Л. И. Шевченко и др.]. - Минск : БГЭУ, 2005. - 623 с. - Библиогр.: с. 617-619. - ISBN 985-484-196-0 : 261.00 р., 261.00 р.

ГРНТИ	27
УДК	519.21-7(075)

Рубрики: Теория вероятностей
Математика
Кл.слова (ненормированные):
теория вероятностей -- случайные величины -- нечеткая логика -- линейное программирование -- сетевое планирование -- дискретное программирование -- нелинейное программирование -- матричные игры

Доп.точки доступа:
Гайшун, Иван Васильевич; Минюк, Степан Андреевич; Шевченко, Леонид Иванович
Экземпляры всего: 2
ОНЛ (Двинская 5/7, ЦБ) (2)
Свободны: ОНЛ (Двинская 5/7, ЦБ) (2)
Найти похожие

1-10 11-20 21-30 31-40 41-50 51-60

Инструкция по видам поиска

© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)