Главная
Упрощенный режим
Описание
Шлюз Z39.50
Отделение ГПНТБ СО РАН
Базы данных
Всего записей: 50699
Каталог книг и сборников Отделения ГПНТБ (1991- ) - результаты поиска
Вид поиска
Область поиска
Ключевые слова
Автор
Заглавие
Год издания
Персоналия
Характер документа
Коллектив/Мероприятие
Предметные рубрики
Персоналия
Сигла библиотек
Тип/вид документа
в найденном
Формат представления найденных документов:
полный
информационный
краткий
Отсортировать найденные документы по:
автору
заглавию
году издания
типу документа
Поисковый запрос:
(<.>K=логика<.>)
Общее количество найденных документов
:
248
Показаны документы
с 1 по 10
1-10
11-20
21-30
31-40
41-50
51-60
1.
Вид документа
: Многотомное издание
Шифр издания
: Шифр см. у томов
Заглавие
: Handbook of automated reasoning
Выходные данные
: Amsterdam; London; New York: Elsevier; Cambridge: MIT press, 2001
ISBN, Цена
0-444-50813-9: Б.ц.
ISBN, Цена
0-262-18223-8: Б.ц.
ГРНТИ
: 50.07 + 27.03
ББК
: З 973.2-01я22 + В12я22
Предметные рубрики:
Компьютеры-- Теория
Математическая
логика
Найти похожие
2.
Вид документа
: Многотомное издание
Шифр издания
: Ю3(4)/Г966/N1
Автор(ы)
: Гуссерль, Эдмунд, Гуссерль, Эдмунд, Куренной В. А.
Заглавие
: Логические исследования/ Эдмунд Гуссерль. Т. 1: Пролегомены к чистой логике
Выходные данные
: Москва: Академический проект, 2011
Колич.характеристики
:253 с
Серия:
Философские технологии: ФТ
ISBN, Цена
978-5-8291-1298-1: 90 р.
ГРНТИ
: 02.21
УДК
: 16
Ключевые слова
(''Своб.индексиров.''): феноменология--
логика
научного познания--немецкая философия
Экземпляры
:02(1)
Свободны
: 02(1)
Найти похожие
3.
Вид документа
: Многотомное издание
Шифр издания
: И-З 96/М45
Заглавие
: Mechatronic system control, logic, and data acquisition . -2nd ed.
Выходные данные
: Boca Raton; London; New York: CRC Press: Taylor & Francis, 2008
Колич.характеристики
:1 Vol. (pag. var.): ill.
Серия:
The mechatronics handbook .
The electrical engineering handbook series
Примечания
: Bibliogr. at the end of the chaptersInd. at the end of the book
ISBN, Цена
978-0-8493-9260-3: 5680.50 р.
ГРНТИ
: 50.01
ББК
: З 965.32я22
Предметные рубрики:
Мехатронные системы автоматического управления
Ключевые слова
(''Своб.индексиров.''): программируемые контроллеры
Экземпляры
:02(1)
Свободны
: 02(1)
Перейти:
Оглавление
Найти похожие
4.
Вид документа
: Многотомное издание
Шифр издания
: Ю25/О.572/N1
Автор(ы)
: Омельченко, Виктор Валентинович, Омельченко, Виктор Валентинович
Заглавие
: Общая теория классификации: [в 2 ч.]/ В. В. Омельченко. Ч. 1: Основы системологии познания действительности
Выходные данные
: М.: Кн. мир, 2008
Колич.характеристики
:433 с.: ил.
ISBN, Цена
978-5-91146-297-0 (в пер.): 150 р.
ГРНТИ
: 02.31 + 02.21
УДК
: 51
ББК
: Ю251.4 + Ю421.1
Предметные рубрики:
классификация-- философия
классификация--
логика
Ключевые слова
(''Своб.индексиров.''): теория познания--системный анализ--классификация
Экземпляры
:02(1)
Свободны
: 02(1)
Найти похожие
5.
Вид документа
: Многотомное издание
Шифр издания
: Ю3(4)/Г966/N2-1
Автор(ы)
: Гуссерль, Эдмунд, Гуссерль, Эдмунд
Заглавие
: Логические исследования/ Эдмунд Гуссерль ; перевод с нем. В. И. Молчанова. Т. 2 . ч. 1 : Исследования по феноменологии и теории познания
Выходные данные
: Москва: Академический проект, 2011
Колич.характеристики
:565 с
Серия:
Философские технологии: ФТ
ISBN, Цена
978-5-8291-1215-8: 270 р.
ГРНТИ
: 02.91 + 02.21
УДК
: 1
ББК
: Ю3(4Г)6-661Гуссерль,Э.-361.2 + Ю4
Предметные рубрики:
Гуссерль Эдмунд-- философ
Логика
Ключевые слова
(''Своб.индексиров.''): феноменология--
логика
научного познания--немецкая философия
Экземпляры
:02(1)
Свободны
: 02(1)
Найти похожие
6.
Вид документа
: Многотомное издание
Шифр издания
: В1/М272/N2
Автор(ы)
: Марков, Андрей Андреевич
Заглавие
: Избранные труды/ А.А. Марков. Т. 2: Теория алгоритмов и конструктивная математика. Математическая
логика
. Информатика и смежные вопросы
Выходные данные
: М., 2003
Колич.характеристики
:525 с
Примечания
: Библиогр. в тексте
ISBN, Цена
5-94057-113-1: Б.ц.
Экземпляры
:02(1)
Свободны
: 02(1)
Найти похожие
7.
Вид документа
: Многотомное издание
Шифр издания
: З 97/Л694/N5
Автор(ы)
: Болотов А.Е., Бочаров В.А., Горчаков А.Е., Макаров В.В., Шангин В.О.
Заглавие
:
Логика
и компьютер. [Вып.] 5: Пусть докажет компьютер
Выходные данные
: М., 2004
Колич.характеристики
:207 с
Примечания
: Библиогр.: с. 193-204
ISBN, Цена
5-02-032859-6: 71 р.
Экземпляры
:02(1)
Свободны
: 02(1)
Найти похожие
8.
Вид документа
: Многотомное издание
Шифр издания
: В6/С914/N1
Автор(ы)
: Сухонос, Сергей Иванович, Сухонос, Сергей Иванович
Заглавие
: Теория эволюции иерархических систем/ С. И. Сухонос. Кн. 1: Структурные уровни природы
Выходные данные
: Москва: Дельфис, 2013
Колич.характеристики
:315, [1] с.: ил.
Серия:
Геометрия и
логика
эволюции
Примечания
: Библиогр.: с. 311-312
ISBN, Цена
978-5-93366-028-6: 90 р.
Ключевые слова
(''Своб.индексиров.''): вселенная - эволюция
Экземпляры
:02(1)
Свободны
: 02(1)
Найти похожие
9.
Вид документа
: Многотомное издание
Шифр издания
: Ю25/Г127/N3-4
Автор(ы)
: Гагаев, Андрей Александрович, Гагаев, Андрей Александрович, Гагаев, Павел Александрович
Заглавие
: Система философии. Философия,
логика
и методология науки. Русская культурно-типическая модель науки: [в 4 ч.]/ А. А. Гагаев, П. А. Гагаев;Федер. агентство по образованию, Мордов. гос. ун-т им. Н. П. Огарева. Ч. 3-4
Выходные данные
: Саранск: Изд-во Мордов. ун-та, 2009
Колич.характеристики
:367 с
ISBN, Цена
978-5-98344-098-2 (в пер.): 150 р.
ГРНТИ
: 02
УДК
: 11
Ключевые слова
(''Своб.индексиров.''): наука - философские проблемы--русская философия
Экземпляры
:02(1)
Свободны
: 02(1)
Найти похожие
10.
Вид документа
: Многотомное издание
Шифр издания
: Ю25/Г127/N2
Автор(ы)
: Гагаев, Андрей Александрович, Гагаев, Андрей Александрович, Гагаев, Павел Александрович
Заглавие
: Система философии. Философия,
логика
и методология науки. Русская культурно-типическая модель науки: [в 4 ч.]/ А. А. Гагаев, П. А. Гагаев;Федер. агентство по образованию, Мордов. гос. ун-т им. Н. П. Огарева. Ч. 2: Этнокультурные модели наук редукционного характера
Выходные данные
: Саранск: Изд-во Мордов. ун-та, 2009
Колич.характеристики
:483 с.: ил.
ISBN, Цена
978-5-98344-097-5 (в пер.): 210 р.
ГРНТИ
: 02.31
УДК
: 001:1
ББК
: Ю25
Предметные рубрики:
наука-- философия
методология науки-- философия
Ключевые слова
(''Своб.индексиров.''): наука - философские проблемы--русская философия
Экземпляры
:02(1)
Свободны
: 02(1)
Найти похожие
полный формат
краткий формат
все найденные
отмеченные
кроме отмеченных
1-10
11-20
21-30
31-40
41-50
51-60
Стандартный
Расширенный
Профессиональный
По словарю
ГРНТИ-навигатор
© 1997-2017 Отделение ГПНТБ СО РАН