Библиотечная система ФГБОУ ВО 'ИжГТУ имени М.Т.Калашникова'

Главная

Упрощенный режим

Описание

Шлюз Z39.50

Базы данных

Библиотечная БД - результаты поиска

Вид поиска

Библиотечная БД

Имидж-каталог

Учебно-методические пособия

Выпускные квалификационные работы

Учебно-методоческие издания

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

в найденном

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

Учебно-методические пособия (6)

Выпускные квалификационные работы (2)

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

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

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

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

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

   87я7
   Н 53

    Непейвода, Н. Н.
    Прикладная логика [Text] : учебное пособие для вузов / Н. Н. Непейвода ; УдГУ ; Ин-т "Открытое общество". - Ижевск : Изд-во УдГУ, 1997. - 385 с. - Библиогр.: с. 375-376. - Предм. указ.: с. 377-382. - Персоналии: с. 383-384. - ISBN 5-7029-0074-Х (в пер.) : 25.00 р.

УДК

510.6(075)

ББК 87.4я7 + 87.41я7 + 87.42я7
Рубрики: ФИЛОСОФИЯ--ЛОГИКА--ЛОГИЧЕСКИЕ СИСТЕМЫ И ИСЧИСЛЕНИЯ--УЧЕБНИКИ И ПОСОБИЯ
МАТЕМАТИКА--МАТЕМАТИЧЕСКАЯ ЛОГИКА--УЧЕБНИКИ И ПОСОБИЯ
Кл.слова (ненормированные):
прикладная логика -- математическая логика -- высказывания (логика) -- логический синтаксис -- логическая семантика -- нестандартный анализ -- естественный вывод -- теории определений -- определения (логика) -- семантика -- неформализуемость (логика) -- классическая логика -- язык математики -- язык логики -- множества -- искусственный интеллект -- кодирование -- аксиомы

Экземпляры всего: 3
ООЛ (3)
Свободны: ООЛ (3)
Найти похожие

621.757
О-72

Осетров, В. Г.
Логика и практика сборки машин [Text] / В. Г. Осетров, Ф. Ю. Свитковский. - Ижевск : Изд-во ИжГТУ, 1996. - 86 с. : ил. - Библиогр.: с. 85. - ISBN 5-7526-0022-7 : 7000.00 р.

УДК

621.757

621.757:658

658.512.2.011.56

Рубрики: МАШИНОСТРОЕНИЕ--ТЕХНОЛОГИЯ СБОРОЧНОГО ПРОИЗВОДСТВА
АВТОМАТИКА И ТЕЛЕМЕХАНИКА.ВЫЧИСЛИТЕЛЬНАЯ ТЕХНИКА--АВТОМАТИЗАЦИЯ ПРОЕКТИРОВАНИЯ
ФИЛОСОФИЯ--ЛОГИКА
Кл.слова (ненормированные):
САПР ТП сборки -- сборка машин -- логика -- мышление технолога -- ИжГТУ

Доп.точки доступа:
Свитковский, Ф. Ю.
Экземпляры всего: 3
ОХиИФ (1), ООНЛ (2)
Свободны: ОХиИФ (1), ООНЛ (2)
Найти похожие

001(09)
Х-73

Холтон, Д.
Тематический анализ науки [Text] : пер. с англ. / Д. Холтон ; ред. С. Р. Микулинский. - Москва : Прогресс, 1981. - 383 с. : ил. - (ЛМ. Логика и методология науки). - Библиогр. в примеч. в конце глав. - Указ.: с. 371-382. - ISBN [Б. н.] : 01.50 р.

УДК

001(09)

Рубрики: ОБЩИЕ И КОМПЛЕКСНЫЕ ПРОБЛЕМЫ ЕСТЕСТВЕННЫХ И ТОЧНЫХ НАУК--ОБЩИЕ И КОМПЛЕКСНЫЕ ПРОБЛЕМЫ ЕСТЕСТВЕННЫХ И ТОЧНЫХ НАУК--ОБЩИЕ ВОПРОСЫ ЕСТЕСТВЕННЫХ И ТОЧНЫХ НАУК
Кл.слова (ненормированные):
история науки -- естествознание -- философские проблемы

Доп.точки доступа:
Микулинский, С. Р. \ред.\
Экземпляры всего: 1
ОХиИФ (1)
Свободны: ОХиИФ (1)
Найти похожие

87.4я7
Л 69

Логика [Text] : 10-11 класс : учебное пособие для школ, лицеев и гимназий / А. Д. Гетманова [и др.]. - Москва : Дрофа, 1995. - 253 с. : ил. - Библиогр.: с. 250. - ISBN 5-7107-0447-4 : 6800.00 р.

ББК 87.4я7
Рубрики: ФИЛОСОФИЯ--ЛОГИКА
Кл.слова (ненормированные):
логика

Доп.точки доступа:
Гетманова, А. Д.; Никифоров, А. Л.; Панов, М. И.; Уемов, А. И.; Яшин, Б. Л.
Экземпляры всего: 1
ОХФ (1)
Свободны: ОХФ (1)
Найти похожие

338-50
Е 51

Елисеева, И. И.
Логика прикладного статистического анализа [Text] / И. И. Елисеева, В. О. Рукавишников. - Москва : Финансы и статистика, 1982. - 192 с. - (Математическая статистика для экономистов). - Библиогр.: с. 188-191 (78 назв.). - 01.30 р.

УДК

338-50

65:311

Рубрики: ЭКОНОМИКА. ЭКОНОМИЧЕСКИЕ НАУКИ--ЭКОНОМИЧЕСКАЯ СТАТИСТИКА
Кл.слова (ненормированные):
экономика -- статистические методы

Доп.точки доступа:
Рукавишников, В. О.
Экземпляры всего: 2
ОХиИФ (1), НТА (1)
Свободны: ОХиИФ (1), НТА (1)
Найти похожие

   519(075)
   Я 79

    Ярыгин, А. Н.
    Лекции и задачи по дискретной математике [Текст] : (от теории к алгоритмам) : учебное пособие для вузов / А. Н. Ярыгин, О. Н. Ярыгин. - Старый Оскол : ТНТ, 2012. - 391, [3] с. : ил., табл. - Библиогр.: с. 389-391. - ISBN 978-5-94178-310-6 (в пер.) : 385.20 р.

ГРНТИ	27.45
УДК	519(075)	519.1(075)

Рубрики: ДИСКРЕТНАЯ МАТЕМАТИКА--УЧЕБНИКИ И ПОСОБИЯ
Кл.слова (ненормированные):
теория множеств -- математическая логика -- комбинаторика -- теория чисел -- диофантовы уравнения -- теория графов

Доп.точки доступа:
Ярыгин, О. Н.
Экземпляры всего: 5
ОХиИФ (1), ООЛ (4)
Свободны: ОХиИФ (1), ООЛ (4)
Найти похожие

   87я7
   Б 16

   Баженов, М. В.
    Философия [Текст] : учебное пособие для вузов : в 2-х ч. / М. В. Баженов ; М-во образования и науки РФ, ФГБОУ ВПО "ИжГТУ имени М. Т. Калашникова". - Ижевск : Изд- во ИжГТУ.
   Ч. I : Философская пропедевтика. - 2013. - 525, [3] с. - ). - Библиогр. в конце разд. - ISBN 978-5-7526-0623-6 (в пер.). - ISBN 978-5-7526-0624-3 : 1102.64 р.
ВПО

ГРНТИ

02.01

ББК 87.я7
Рубрики: ФИЛОСОФИЯ--УЧЕБНИКИ И ПОСОБИЯ
Кл.слова (ненормированные):
философская пропедевтика -- аргументация -- логика рассуждений -- принятие решений -- ИжГТУ

Экземпляры всего: 5
ОХиИФ (3), ООЛ (2)
Свободны: ОХиИФ (3), ООЛ (2)
Найти похожие

   87я7
   Л 69


    Логика [Текст] : учебник для бакалавров / [М. Ш. Гунибский и др.] ; отв. ред. Л. А. Демина ; М-во образования и науки РФ, МГЮА имени О. Е. Кутафина. - Москва : Проспект, 2013. - 216 с. : ил., табл. - (Серия учебников МГЮА для бакалавров. Логика). - Библиогр.: с. 181. - ISBN 978-5-392-07243-9 (в пер.) : 354.00 р.
ВПО

ГРНТИ

02.21

ББК 87.4я7
Рубрики: ЛОГИКА--УЧЕБНИКИ И ПОСОБИЯ
Кл.слова (ненормированные):
логика -- понятия -- суждения -- умозаключения -- аргументация

Доп.точки доступа:
Гунибский, М. Ш.; Демина, Л. А.; Малюкова, О. В.; Пржиленский, В. И.; Демина, Л. А. \ред.\
Экземпляры всего: 1
ОХиИФ (1)
Свободны: ОХиИФ (1)
Найти похожие

   519(075)
   П 82

    Просветов, Г. И.
    Дискретная математика : задачи и решения [Текст] : учебно-практическое пособие / Г. И. Просветов. - 2-е изд., доп. - Москва : Альфа-Пресс, 2015. - 238, [2] с. : ил., табл. - Библиогр.: с. 233-234. - ISBN 978-5-94280-419-0 : 253.00 р.

ГРНТИ	27.45
УДК	519.1(075)

Рубрики: ДИСКРЕТНАЯ МАТЕМАТИКА--УЧЕБНИКИ И ПОСОБИЯ
Кл.слова (ненормированные):
математическая логика -- алгебраические системы -- теория кодирования -- комбинаторика -- теория графов

Экземпляры всего: 1
ОХиИФ (1)
Свободны: ОХиИФ (1)
Найти похожие

10.

15
Л 15

Ладенко, И.С.
Интеллектуальные системы и логика [Text] / Ладенко, И.С. - Новосибирск : Наука. Сиб. отд-ние, 1973. - 172 с. - Библиогр.: с. 161-171. - 00-78

УДК

658.387.015

ББК 87.42
Рубрики: ОБЩИЕ И КОМПЛЕКСНЫЕ ПРОБЛЕМЫ ТЕХНИЧЕСКИХ И ПРИКЛАДНЫХ НАУК И ОТРАСЛЕЙ НАРОДНОГО ХОЗЯЙСТВА--ОБЩИЕ ВОПРОСЫ ЭРГОНОМИКИ
Кл.слова (ненормированные):
мышление -- моделирование -- эргономика

Экземпляры всего: 1
КХ (1)
Свободны: КХ (1)
Найти похожие

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

Тематический навигатор

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