16
Л694


    Логические исследования / РАН,Ин-т философии. - М. : Наука, 1993 - .
   Вып.1. - 1993. - 246с. - ISBN 5-02-008103-5 : 180 р.
ББК Ю41
РУБ 16

Кл.слова (ненормированные):
Логическая семантика -- Логика -- Логический синтаксис
Аннотация: Рассматриваются различные аспекты неклассических логических исчислений,предлагаются новые нестандартные синтаксические и семантические методы анализа формальных языков

Экземпляры всего: 1
Х (1)
Свободны: Х (1)

681
К 321


    Квантовый компьютер и квантовые вычисления / Р. Фейнман, Р. Ландауэр, Ч. Беннетт. - Ижевск : Ред.журн."Регулярная и хаотическая динамика", 1999 - .
   [Вып.2]. - 1999. - 288с. - ISBN 5-89806-025-1 : 95 р.
    Содержание:
Моделирование физики на компьютерах/Р.Фейнман;Квантовомеханические компьютеры/Р.Фейнман;Необратимость и выделение тепла в процессе вычислений/Р.Ландауэр;Логическая обратимость вычислений/Ч.Беннетт
УДК
РУБ 681
Рубрики: Квантовые компьютеры
Кл.слова (ненормированные):
Квантовые вычисления -- Квантовые компьютеры


Доп.точки доступа:
Фейнман Р.; Ландауэр Р.; Беннетт Ч.
Экземпляры всего: 1
Х (1)
Свободны: Х (1)

16
Ф 86


    Фреге, Готтлоб.
    Логика и логическая семантика : Сб. тр.: Учеб. пособие: Пер. с нем. / Под ред. З. А. Кузичевой. - М. : Аспект Пресс, 2000. - 512 с. - ISBN 5-7567-0128-1 : 154.20 р.
УДК
ББК Ю41я73
Рубрики: Логика
Кл.слова (ненормированные):
Логика -- Логическая семантика -- Понятие (логика) -- Логические исследования -- Ученые Германии -- Учебное пособие


Доп.точки доступа:
Кузичева, З. А. \ред.\; Фреге, Готлоб (1848-1925)
Экземпляры всего: 1
Х (1)
Свободны: Х (1)

338
С 202


    Саркисов, С. В.
    Управление логистикой [Текст] : учеб.пособие / Акад.нар.хоз-ва. - М. : Бизнес-школа"Интел-Синтез", 2001. - 416с. - ISBN 5-87057-252-5 : 87.40 р.
УДК
ББК У.в611.2я73
РУБ 338
Рубрики: Логистика
Кл.слова (ненормированные):
Учебное пособие -- Логистика -- Провайдеры логистики -- Логическая информационная система -- Транспортная логистика -- Договор перевозки -- Складские операции

Экземпляры всего: 1
Х (1)
Свободны: Х (1)

   16
   Г443


    Гетманова, Александра Денисовна.
    Логика : учебник для вузов / А. Д. Гетманова. - Москва : Добросвет : Книжный дом "Университет", 1998. - 480 с. - Библиогр.: с. 452. - ISBN 5-7913-0008-5 : 25.00 р.
ГРНТИ
УДК
ББК Ю4я73
Рубрики: Логика--Учебники для высших учебных заведений
Кл.слова (ненормированные):
ЛОГИКА (ПОНЯТИЕ) -- ЛОГИЧЕСКАЯ СТРУКТУРА -- ЛОГИЧЕСКИЕ СВЯЗИ -- СУЖДЕНИЕ (ОЦЕНОЧНОЕ ВЫСКАЗЫВАНИЕ)

Экземпляры всего: 3
АБЗ (2), АБУ (1)
Свободны: АБЗ (2), АБУ (1)

53
В 465


    Вильф, Фернандо Жозевич.
    Логическая структура частной теории относительности [Текст] / Фернандо Жозевич Вильф. - М. : Эдиториал УРСС, 2001. - 160с. - ISBN 5-8360-0197-9 : 48 р.
УДК
РУБ 53
Рубрики: Относительности теория
Кл.слова (ненормированные):
Относительности теория

Экземпляры всего: 1
Х (1)
Свободны: Х (1)

   801
   С 178


    Самсонов, В. Ф.
    Значение и перевод : Спецкурс / В. Ф. Самсонов. - Челябинск : [б. и.], 1978. - 54с. - Библиогр.:с.52-53. - 0.35 р.
УДК
ББК Ш40.7
Рубрики: художественный перевод
Кл.слова (ненормированные):
художественный перевод -- Семантика логическая

Экземпляры всего: 1
Х (1)
Свободны: Х (1)

   4
   Л694


   
    Логический анализ языка. Ментальные действия / РАН,Ин-т языкознания. - Москва : Наука, 1993. - 176с. - Библиогр.в конце ст. - ISBN 5-02-011104-X : 150.00 р.
ГРНТИ
ББК Ш103.2
РУБ 4
Рубрики: Семантика
Кл.слова (ненормированные):
Семантика логическая -- Языкознание.философия
Аннотация: Посвящена семантическому анализу структуры ментальногопространства

Экземпляры всего: 1
ЧЗФ (1)
Свободны: ЧЗФ (1)

   4
   Л694


   
    Логический анализ языка: модели действия / Академия наук СССР, Институт языкознания. - М. : Наука, 1992. - 169 с. - Библиогр.в конце ст. - ISBN 5-02-011104-X : 25.50 р.
ГРНТИ
ББК Ш103.2
РУБ 4
Рубрики: Семантика
Кл.слова (ненормированные):
семантика логическая -- языкознание
Аннотация: Рассматриваются именные и глагольные конструкции со значением действия; категории входящие в модели действия; виды действий; принципы номинации действий; моделирование действия в разных логических системах


Доп.точки доступа:
Академия наук СССР; Институт языкознания
Экземпляры всего: 1
ЧЗФ (1)
Свободны: ЧЗФ (1)

1439915

    Шумков, А. А.
    Формально-логическая модель главных членов предложения в германских и романских языках : автореферат дис. на соиск. учен. степ. д-ра филол. наук / А. А. Шумков ; Новгород. гос. ун-т. - Великий Новгород, 2006. - 37 с.
Кл.слова (ненормированные):
речевая деятельность -- германские языки -- романские языки -- главные члены предложения

Экземпляры всего: 1
Х (1)
Свободны: Х (1)

   1499887
   Т 350


    Теребков, А. В.
    Юридическая и логическая природа разъяснений Пленума Верховного Суда Российской Федерации : автореферат дис. на соиск. учен. степ. канд. юрид. наук / А. В. Теребков ; Рос. акад. правосудия. - М., 2006. - 30 с.
Кл.слова (ненормированные):
РАЗЪЯСНЕНИЯ ПЛЕНУМА ВЕРХОВНОГО СУДА РФ -- ПЛЕНУМ ВЕРХОВНОГО СУДА РФ -- СУДЕБНО-ПРАВОВАЯ КОНКРЕТИЗАЦИЯ ФЕДЕРАЛЬНЫХ ЗАКОНОВ

Экземпляры всего: 1
Х (1)
Свободны: Х (1)

   34
   Б 120


    Бабаев, Владимир Константинович.
    Советское право как логическая система : учеб. пособие / В. К. Бабаев. - М. : Акад. МВД СССР, 1978. - 211 с. - 0.42 р.
УДК
ББК Х620я73
Рубрики: Право. Юридические науки--Учебные издания
Кл.слова (ненормированные):
Советское право (логические основы)

Экземпляры всего: 1
Х (1)
Свободны: Х (1)

   16
   С 506


    Смирнов, Андрей Вадимович.
    Логико-смысловые основания арабо-мусульманской культуры: семиотика и изобразительное искусство / А. В. Смирнов; Рос. акад. наук, Ин-т философии ; РАН, Институт философии. - Москва : ИФРАН, 2005. - 250, [4] с. : ил. + 20 см. - Библиогр.: с. 260. - ISBN 5-9540-0015-8 : 130 р.
УДК
ББК Ю41 + Ю224.0 + Щ124.3(5) + Щ145.83(5)
Рубрики: Логика
Кл.слова (ненормированные):
ЛОГИЧЕСКИЙ СИНТАКСИС -- ЛОГИЧЕСКАЯ СЕМАНТИКА -- СЕМИОТИКА (ЛОГИКА) -- ЗНАЧЕНИЕ (ФИЛОСОФИЯ) -- АРАБСКОЕ ИЗОБРАЗИТЕЛЬНОЕ ИСКУССТВО -- АРАБО-МУСУЛЬМАНСКАЯ КУЛЬТУРА -- МИНИАТЮРА -- ДЕКОРАТИВНО-ПРИКЛАДНОЕ ИСКУССТВО -- ОРНАМЕНТ


Доп.точки доступа:
Российская академия наук; Институт философии
Экземпляры всего: 1
Х (1)
Свободны: Х (1)

   1
   И 892


   
    Истина и благо: универсальное и сингулярное / Рос. акад. наук, Ин-т философии ; [отв. ред. А. П. Огурцов]. - Москва : ИФ РАН, 2002. - 374, [1] с. + 20 см. - Библиогр. в конце ст. - ISBN 5-201-02086-0 : 150 р.
ГРНТИ
УДК
ББК Ю226я43
Рубрики: Истина--Сборники
Кл.слова (ненормированные):
ИСТИНА (ФИЛОСОФИЯ) -- БЛАГО (ЭТИКА) -- ФЕНОМЕНОЛОГИЯ -- ЛОГИЧЕСКИЙ СИНТАКСИС -- ЛОГИЧЕСКАЯ СЕМАНТИКА -- СЕМИОТИКА (ЛОГИКА)
Аннотация: Издание концентрируется на взаимоотношении истины и блага, которое рассмотрено в перспективе возможности определения универсалий в языке логики и этики.


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

   517
   З-863


   Зорич, Владимир Антонович

    Математический анализ : учебник для студентов университетов, обучающихся по специальностям "Математика" и "Механика" / В. А. Зорич. - Москва : Наука, 1981 - .
   Ч. 1. - 1981. - 544 с. : ил. - 1.40 р.
ГРНТИ
УДК
Рубрики: Математический анализ--Учебные издания
Кл.слова (ненормированные):
ЛОГИЧЕСКАЯ СИМВОЛИКА -- МНОЖЕСТВО -- ФУНКЦИЯ -- ВЕЩЕСТВЕННОЕ ЧИСЛО -- НЕПРЕРЫВНЫЕ ФУНКЦИИ -- ДИФФЕРЕНЦИАЛЬНОЕ ИСЧИСЛЕНИЕ -- ИНТЕГРАЛ -- ФУНКЦИИ МНОГИХ ПЕРЕМЕННЫХ

Экземпляры всего: 9
АБУ (9)
Свободны: АБУ (9)

   681
   П 442


    Подколзин, Александр Сергеевич.
    Компьютерное моделирование логических процессов. Архитектура и язык решателя задач / А. С. Подколзин. - Москва : Физматлит, 2008. - 1024 с. - Библиогр.: с. 1021-1022. - ISBN 978-5-9221-1045-7 : 600 р.
ГРНТИ
УДК
Рубрики: Прикладное программное обеспечение
   Искусственный интеллект--Решение задач

Кл.слова (ненормированные):
КОМПЬЮТЕРНАЯ МАТЕМАТИКА -- ЛОГИЧЕСКОЕ ПРОГРАММИРОВАНИЕ -- ЛОГИЧЕСКАЯ СИСТЕМА "ИСКРА" -- РЕШАТЕЛИ ЗАДАЧ -- АЛГОРИТМИЧЕСКИЙ ЯЗЫК ЛОС -- АЛГОРИТМИЧЕСКИЙ ЯЗЫК ГЕНОЛОГ

Экземпляры всего: 1
Х (1)
Свободны: Х (1)

   4
   М 912


    Мурзин, Леонид Николаевич.
    Логическая и психологическая трактовка синтаксических процессов (русское языкознание конца 18 - начала 20 веков) : учебное пособие по спецкурсу / Л. Н. Мурзин ; Пермский государственный университет им. А. М. Горького. - Пермь : Пермский государственный университет, 1980. - 102 с. - Библиогр. в конце глав. - 0.20 р., 00.20 р.
ГРНТИ
ББК Ш1г
Рубрики: Языкознание--Учебные издания
Кл.слова (ненормированные):
РУССКОЕ ЯЗЫКОЗНАНИЕ -- УНИВЕРСАЛЬНАЯ ГРАММАТИКА -- СИНТАКСИЧЕСКАЯ ПРОИЗВОДНОСТЬ (ПРОБЛЕМЫ) -- ЛОГИЧЕСКАЯ ГРАММАТИКА (КРИТИКА)


Доп.точки доступа:
Пермский государственный университет им. А. М. Горького
Экземпляры всего: 8
ЧЗФ (1), АБУ (5), АБЗ (2)
Свободны: ЧЗФ (1), АБУ (5), АБЗ (2)

   1
   П 305


    Петров, Юрий Александрович.
    Логическая функция категорий диалектики : учебное пособие по теме курса марксистско-ленинской философии / Ю. А. Петров. - Москва : Высшая школа, 1972. - 271 с. - (Философия). - Библиогр.: с. 265-268. - 00.64 р., 00.64 р.
ГРНТИ
ББК А512.7/8
Рубрики: Философия--Учебные издания для высших учебных заведений
Кл.слова (ненормированные):
категории материалистической диалектики

Экземпляры всего: 2
Х (1), АБУ (1)
Свободны: Х (1), АБУ (1)

   1
   Ш 500


    Шерстнюк, Владимир Петрович.
    Логическая структура учебного курса "Диалектический материализм" : учебное пособие / В. П. Шерстнюк. - М. : Высш. школа, 1981. - 159 с. : ил. - 0.25 р.
ГРНТИ
УДК
ББК Ю210.10р30
Рубрики: Философия--Учебные издания
Кл.слова (ненормированные):
Диалектический материализм (методика преподавания) -- Методика преподавания диалектического материализма

Экземпляры всего: 1
Х (1)
Свободны: Х (1)

   16
   С 506


    Смирнова, Елена Дмитриевна.
    Основы логической семантики : учеб. пособие для филос. фак. ун-тов / Е. Д. Смирнова. - М. : Высш. шк., 1990. - 143 с. - Библиогр.: с. 140-142. - ISBN 5-06-001495-9 : 0.35 р.
ГРНТИ
УДК
ББК Ю41я73
Рубрики: Логика--Учебные издания для высших учебных заведений
Кл.слова (ненормированные):
Логическая семантика

Экземпляры всего: 1
Х (1)
Свободны: Х (1)