Главная Упрощенный режим Описание Шлюз Z39.50

Базы данных

Всего записей: 50699

Каталог книг и сборников Отделения ГПНТБ (1991- ) - результаты поиска

Вид поиска

Область поиска
в найденном
Формат представления найденных документов:
полныйинформационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>K=логика<.>)
Общее количество найденных документов : 248
Показаны документы с 1 по 10
 1-10    11-20   21-30   31-40   41-50   51-60      
1.
   В12
   К493


    Клини, Стивен Коул.
    Математическая логика : монография / С. К. Клини ; пер. с англ. Ю. А. Гастева; под ред. Г. Е. Минца. - 2-е изд., стер. - М. : Едиториал УРСС, печ. 2004. - 480 с. ; 22 см. - Указ. авт. и предм.: с. 470-478. - Библиогр.: с. 451-465. - 500 экз.. -
ГРНТИ
УДК
ББК В12
Рубрики: Математическая логика
Кл.слова (ненормированные):
Математическая логика


Доп.точки доступа:
Минц, Г.Е. \ред.\; Гастев, Ю.А. \пер.\
Экземпляры всего: 1
02 (1)
Свободны: 02 (1)
Инвентарный номер: 73-7-2005
Найти похожие

2.
   Г2
   Л262/1


   Ласло, Пьер

    Логика органического синтеза [Текст] : в 2 т / П. Ласло. - М : [б. и.].Т. 1: Теоретические представления и основные факты. - 1998. - 229 с.: ил. - Библиогр. в конце разд. - ISBN 5-03-002864-1.
Дескрипторы: моногр -- многот

Экземпляры всего: 1
02 (1)
Свободны: 02 (1)
Инвентарный номер: 33-4-99
Найти похожие

3.
   Шифр см. у томов
   Пр3197


   
    Исследования по конструктивной математике и математической логике : сб. работ под ред. Данцина Е.Я., Оревкова В.П / ред.: Е. Я. Данцин, В. П. Оревкова. - Санкт-Петербург : Наука, Б. г.. - (Записки научных семинаров ПОМИ / Математический институт им. В. А. Стеклова (Москва). Санкт-Петербургское отделение, ISSN 0373-2703 ; ...). -
ББК В12я43 + В161.49я43
Рубрики: Конструктивная математика
   Математическая логика

   Конструктивная теория функций

Дескрипторы: сб пр -- сб -- многот


Доп.точки доступа:
Данцин, Е.Я. \ред.\; Оревкова, В.П. \ред.\
Свободных экз. нет
4.
   Ю
   Ч391/3


    Человек- философия- гуманизм [Текст] : первый Рос. филос. конгр.: [Тез. докл. и выступлений: В 7 т.]. - СПб : [б. и.].Т. 3: Онтология, гносеология, логика и аналитическая философия. - 1997. - 438 с. - ISBN 5-288-01896-0.
Дескрипторы: многот -- конф

Экземпляры всего: 1
02 (1)
Свободны: 02 (1)
Инвентарный номер: 45-18-99
Найти похожие

5.
   Г2
   Л262/2


   Ласло, Пьер

    Логика органического синтеза [Текст] : в 2 т / П. Ласло. - М : [б. и.].Т. 2: Примеры и иллюстрации. - 1998. - 200 с.: табл. - Библиогр. в конце разд. - ISBN 5-03-002863-3.
Дескрипторы: моногр -- многот

Экземпляры всего: 1
02 (1)
Свободны: 02 (1)
Инвентарный номер: 33-5-99
Найти похожие

6.
   Шифр см. у томов

   
    Логика и компьютер [Текст] : [Сб. ст.] / Рос. акад. наук.; [Отв. ред. Смирнов В.А.]. - М. : Наука, Б. г.. - (Сер. "Кибернетика-неогранич. возможности и возмож. ограничения"). -
ББК З 973.205-01Я43 + Ю4В2:3 97Я43
Рубрики: искусственный интеллект, машинная реализация
   логика, компьютеры, вычислительная техника

Дескрипторы: сб -- многот

Экземпляры всего: 1
02 (1)
Свободны: 02 (1)
Инвентарный номер: 19-12-97
Найти похожие

7.
   З 81
   В124
З 81 / В124-02


    Вагин, Вадим Николаевич.
    Знания и убеждения в интеллектуальном анализе данных [Текст] / В. Н. Вагин. - Москва : Физматлит, 2019. - 535 с. : ил. ; 23 см. - Библиогр. в примеч.: с. 479-530. - 300 экз.. -
ГРНТИ
УДК
ББК З 813
Рубрики: Искусственный интеллект
Кл.слова (ненормированные):
Математическая логика -- Интеллектуальные системы

Экземпляры всего: 1
02 (1)
Свободны: 02 (1)
Инвентарный номер: 28-23-2020но
Найти похожие

8.
   Б
   К145
Б / К145-02 аб


    Каздепке, Гжегож.
    Каникулы детектива Позитивки : [для младшего школьного возраста : 6+] / Гжегож Каздепке ; перевод с польского С. Карпенка ; художник П. Рыхель. - Санкт-Петербург ; Москва : Речь, 2019. - 77, [2] с. : цв. ил. ; 21 см. - 5000 экз.. -
ГРНТИ
УДК

Кл.слова (ненормированные):
Логика занимательная


Доп.точки доступа:
Карпенок, С. \пер.\; Рыхель, Петр \худож.\
Экземпляры всего: 1
02 аб (1)
Свободны: 02 аб (1)
Инвентарный номер: КН-П-19-026802
Найти похожие

9.
   В12
   К887
В12 / К887-02


    Кудж, Станислав Алексеевич.
    Логика и алгоритмы / С. А. Кудж, В. Я. Цветков. - Москва : МАКС Пресс, 2019. - 110 с. ; 22 см. - Библиогр.: с. 98-109 (140 назв.). - 500 (1-й з-д-50) экз.. -
ГРНТИ
УДК
ББК В12
Рубрики: Математическая логика
Кл.слова (ненормированные):
Математическая логика -- Алгоритмы


Доп.точки доступа:
Цветков, Виктор Яковлевич
Экземпляры всего: 1
02 (1)
Свободны: 02 (1)
Инвентарный номер: 25-4-2019но
Найти похожие

10.
   Ю4
   И253
Ю4 / И253-02


    Ивин, Александр Архипович.
    Искусство мыслить правильно : слова и вещи, ловушки языка, законы логики, логические парадоксы, софизмы / А. А. Ивин. - Москва : Проспект, 2018. - 302 с. : ил. ; 18 см. - 1000 экз.
На тит. с.: электрон. версии кн. на сайте www.prospekt.org
ГРНТИ
УДК
ББК Ю425 + Ю935.131 + Ю212.2
Рубрики: Культура мышления
   Мышление--Психология

   Мышление--Философия

Кл.слова (ненормированные):
Мышление - Развитие -- Логика

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

 1-10    11-20   21-30   31-40   41-50   51-60      
 
© 1997-2017 Отделение ГПНТБ СО РАН