Библиотека Российской академии наук (БАН)

Базы данных


ЭК отдела БАН при Физико-техническом институте им. А.Ф.Иоффе РАН (ФТИ) - результаты поиска

Вид поиска
Электронный каталог (ЭК) Библиотеки Российской академии наук (БАН)
ЭК изданий на восточных языках отдела литературы стран Азии и Африки (ОЛСАА)
Имидж-каталог БАН
Рукописный фонд БАН
Фонд редкой книги БАН
Газетный фонд БАН
Подносные экземпляры из библиотеки Петра I
Рукописи старообрядцев-скрытников из Каргопольского собрания
Наука в СССР в годы Великой Отечественной войны 1941 - 1945 гг.
Русские биографические и биобиблиографические словари и справочники, 1956-2000 гг.
Санкт-Петербургские ведомости (1728 - 1781)
Область поиска
в найденном
 Найдено в других БД:Электронный каталог (ЭК) Библиотеки Российской академии наук (БАН) (2723)ЭК изданий на восточных языках отдела литературы стран Азии и Африки (ОЛСАА) (6)Рукописный фонд БАН (2)ЭК отдела БАН при Главной (Пулковской) астрономической обсерватории РАН (ГАО) (5)ЭК сектора БАН при Институте прикладной астрономии РАН (ИПА) (5)ЭК отдела БАН при Санкт-Петербургском отделении Математического института им. В.А. Стеклова РАН (ПОМИ) (21)ЭК отдела БАН при Зоологическом институте РАН (ЗИН) (1)ЭК сектора БАН при Институте цитологии РАН (ИНЦ) (3)ЭК отдела БАН при Институте физиологии им.И.П.Павлова РАН (ИФП) (6)ЭК сектора БАН при Институте геологии и геохронологии докембрия РАН (ИГГД) (2)ЭК отдела БАН при Институте озероведения РАН (ИНОЗ) (8)ЭК отдела БАН при Институте истории материальной культуры РАН (ИИМК) (3)ЭК отдела БАН при Музее антропологии и этнографии им. Петра Великого (Кунсткамера) РАН (МАЭ) (10)ЭК отдела БАН при Санкт-Петербургском Институте истории РАН (СПб ИИ) (1)ЭК отдела БАН при Институте лингвистических исследований РАН (ИЛИ) (15)ЭК сектора БАН при Институте проблем региональной экономики РАН (ИПРЭ) (3)ЭК сектора БАН при Социологическом институте РАН (СИРАН) (46)ЭК отдела БАН при Институте русской литературы РАН (Пушкинский Дом) (ИРЛИ) (2)
Формат представления найденных документов:
полныйинформационный краткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>K=ЛОГИКА<.>)
Общее количество найденных документов : 98
Показаны документы с 1 по 10
 1-10    11-20   21-30   31-40   41-50   51-60      
1.

Кметь А.Б. Четырехзначная логика. Реализация операций. /А.Б. Кметь. - 1991
2.

Логика и компьютер. Моделирование рассуждений и проверка правильности программ/Н.А.Алештна, А.М.Анисов, П.И.Быстров и др.. - 1990
3.

Сайфулаев Ш. Эволюция и природа интеллекта, о природе нравственности и гениальности, об интеллектуальной и женской красоте, о примитивизме и заблуждениях человека. Кн. 1:Философия и психология антропогенеза, интеллектуальное творчество с математикой и логика стратегического мышления Т. 2. - 2004
4.

Исследования по теории алгоритмов и математической логике/Вычислительный центр АН СССР Т. 2. - 1976
5.

Исследования по теории алгоритмов и математической логике/Вычислительный центр АН СССР Т. 1. - 1973
6.

Новиков П.С. Элементы математической логики/П.С. Новиков. - 1973
7.

Фейс Р. Модульная логика/Р. Фейс. - 1974
8.

Кушнер Б.А. Лекции по конструктивному математическому анализу/Б.А. Кушнер. - 1973
9.

Исследования по конструктивной математике и математической логике IV/ред.: Ю. В. Матиясевич, А. О. Слисенко. - 1971
10.

Пензов Ю.Е. Элементы математической логики и теории множеств/Ю.Е. Пензов. - 1968
 1-10    11-20   21-30   31-40   41-50   51-60      
 
Описание ЭК
Стандартный
Расширенный
Профессиональный
По словарю