Поисковый запрос: (<.>K=логика<.>) |
Общее количество найденных документов : 248
Показаны документы с 1 по 10 |
|
1. 
| Шифр см. у томов
Handbook of automated reasoning / eds.: A. Robinson, A. Voronkov. - Amsterdam [et al.] : Elsevier ; Cambridge : MIT press, 2001
Перевод заглавия: Справочник по автоматическому мышлениюББК З 973.2-01я22 + В12я22
Рубрики: Компьютеры--Теория
Математическая логика
Доп.точки доступа:
Robinson, Alan \ed.\; Voronkov, Andrei \ed.\
Свободных экз. нет
|
2.
| Ю3(4)
Г966/N1
Ю3(4) / Г966/N1-02
Гуссерль, Эдмунд
Логические исследования / Эдмунд Гуссерль. - Москва : Академический проект.
Т. 1 : Пролегомены к чистой логике / пер. с нем. Э. А. Бернштейн ; под ред. С. Л. Франка ; новая ред. [и послесл.] Р. А. Громова ; [предисл.: В. Молчанов]. - 2011. - 253 с. - (Философские технологии : ФТ). - 2000 экз.. -
Кл.слова (ненормированные):
Феноменология -- Логика научного познания -- Немецкая философия
Доп.точки доступа:
Куренной, В. А.; Громов, Р. А. \ред.\; Франк, Семен Людвигович \ред.\; Молчанов, Виктор Игоревич \пер.\; Бернштейн, Э. А. \пер.\
Экземпляры всего: 1
02 (1)
Свободны: 02 (1)
Инвентарный номер: 74-14-2011но
Найти похожие
|
3.
| И-З 96
М45
И-З 96 / М45-02
Mechatronic system control, logic, and data acquisition / ed. R. H. Bishop. - 2nd ed. - Boca Raton [et al.] : CRC Press : Taylor & Francis, 2008. - 1 Vol. (pag. var.) : ill. - (The mechatronics handbook) (The electrical engineering handbook series). - Bibliogr. at the end of the chapters. - Ind. at the end of the book
Перевод заглавия: Мехатронные системы управления, логика и сбор данныхББК З 965.32я22
Рубрики: Мехатронные системы автоматического управления
Кл.слова (ненормированные):
Программируемые контроллеры
Перейти: Оглавление
Доп.точки доступа:
Bishop, Robert H. \ed.\
Экземпляры всего: 1
02 (1)
Свободны: 02 (1)
Инвентарный номер: 78-1-2015+02
Найти похожие
|
4.
| Ю25
О.572/N1
Омельченко, Виктор Валентинович
Общая теория классификации : [в 2 ч.] / В. В. Омельченко. - М. : Кн. мир.
Ч. 1 : Основы системологии познания действительности. - 2008. - 433 с. : ил. - 1000 экз.. - ББК Ю251.4 + Ю421.1
Рубрики: классификация--философия
классификация--логика
Кл.слова (ненормированные):
Теория познания -- Системный анализ -- Классификация
Доп.точки доступа:
Ловцов, Дмитрий Анатольевич \.\
Экземпляры всего: 1
02 (1)
Свободны: 02 (1)
Инвентарный номер: 1-7-2011
Найти похожие
|
5.
| Ю3(4)
Г966/N2-1
Ю3(4) / Г966/N2-1-02
Гуссерль, Эдмунд
Логические исследования / Эдмунд Гуссерль ; перевод с нем. В. И. Молчанова. - Москва : Академический проект.
Т. 2, ч. 1 : Исследования по феноменологии и теории познания / [послесл. В. И. Молчанова, с. 462-557]. - 2011. - 565 с. - (Философские технологии : ФТ). - 1500 экз.. - ББК Ю3(4Г)6-661Гуссерль,Э.-361.2 + Ю4
Рубрики: Гуссерль Эдмунд--философ
Логика
Кл.слова (ненормированные):
Феноменология -- Логика научного познания -- Немецкая философия
Доп.точки доступа:
Молчанов, Виктор Игоревич \пер.\
Экземпляры всего: 1
02 (1)
Свободны: 02 (1)
Инвентарный номер: 59-1-2011но
Найти похожие
|
6.
| В1
М272/N2
Марков, Андрей Андреевич
Избранные труды [Текст] / А.А. Марков. - М. : [б. и.].
Т. 2 : Теория алгоритмов и конструктивная математика. Математическая логика. Информатика и смежные вопросы. - 2003. - 525 с. - Библиогр. в тексте
Экземпляры всего: 1
02 (1)
Свободны: 02 (1)
Инвентарный номер: 20-23-2004
Найти похожие
|
7.
| З 97
Л694/N5
З 97 / Л694/N5-02
Логика и компьютер. - М. : [б. и.].
[Вып.] 5 : Пусть докажет компьютер / [А. Е. Болотов и др.]. - 2004. - 207 с. - Библиогр.: с. 193-204
Доп.точки доступа:
Болотов, А.Е.; Бочаров, В.А.; Горчаков, А.Е.; Макаров, В.В.; Шангин, В.О.
Экземпляры всего: 1
02 (1)
Свободны: 02 (1)
Инвентарный номер: 90-24-2004но
Найти похожие
|
8.
| В6
С914/N1
В6 / С914/N1-02
Сухонос, Сергей Иванович
Теория эволюции иерархических систем / С. И. Сухонос. - Москва : Дельфис.
Кн. 1 : Структурные уровни природы. - 2013. - 315, [1] с. : ил. - (Геометрия и логика эволюции). - Библиогр.: с. 311-312. - 500 экз.
Кл.слова (ненормированные):
Вселенная - Эволюция
Экземпляры всего: 1
02 (1)
Свободны: 02 (1)
Инвентарный номер: 72-8-2013но
Найти похожие
|
9.
| Ю25
Г127/N3-4
Ю25 / Г127/N3-4-02
Гагаев, Андрей Александрович
Система философии. Философия, логика и методология науки. Русская культурно-типическая модель науки : [в 4 ч.] / А. А. Гагаев, П. А. Гагаев;Федер. агентство по образованию, Мордов. гос. ун-т им. Н. П. Огарева. - Саранск : Изд-во Мордов. ун-та.
Ч. 3-4. - 2009. - 367 с. - 50 экз.. -
Кл.слова (ненормированные):
Наука - Философские проблемы -- Русская философия
Доп.точки доступа:
Гагаев, Павел Александрович
Экземпляры всего: 1
02 (1)
Свободны: 02 (1)
Инвентарный номер: 87-19-2009но
Найти похожие
|
10.
| Ю25
Г127/N2
Гагаев, Андрей Александрович
Система философии. Философия, логика и методология науки. Русская культурно-типическая модель науки : [в 4 ч.] / А. А. Гагаев, П. А. Гагаев;Федер. агентство по образованию, Мордов. гос. ун-т им. Н. П. Огарева. - Саранск : Изд-во Мордов. ун-та.
Ч. 2 : Этнокультурные модели наук редукционного характера. - 2009. - 483 с. : ил. - 50 экз.. - ББК Ю25
Рубрики: наука--философия
методология науки--философия
Кл.слова (ненормированные):
Наука - Философские проблемы -- Русская философия
Доп.точки доступа:
Гагаев, Павел Александрович
Экземпляры всего: 1
02 (1)
Свободны: 02 (1)
Инвентарный номер: 87-18-2009
Найти похожие
|
|
|
|
Главная
Описание
Шлюз Z39.50
Стандартный