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

Базы данных


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

Вид поиска
Электронный каталог (ЭК) Библиотеки Российской академии наук (БАН)
ЭК изданий на восточных языках отдела литературы стран Азии и Африки (ОЛСАА)
Имидж-каталог БАН
Рукописный фонд БАН
Фонд редкой книги БАН
Газетный фонд БАН
Подносные экземпляры из библиотеки Петра 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.    Мт IX|26
   Б 74

    Богомолов, С. А.
    Вопросы обоснования геометрии [Текст]. Ч. 1. Интуиция, математическая логика, идея порядка в геометрии. С прил. ст. "Философия математики в работах А. Пуанкаре" / С. А. Богомолов. - М. ; Л. : Изд-ние т-во В.В. Думнов, [1913]. - [8], 243 с. : ил. - Б. ц.
Рубрики: Математика
Кл.слова (ненормированные):
ГЕОМЕТРИЯ -- ИСТОРИЯ ФИЛОСОФИИ -- ЛОГИКА

Перейти: http://www.e-heritage.ru/Book/10072037
Найти похожие
2.    Мт IV|8
   С 30

    Семендяев, К. А.
    Эмпирические формулы [Текст] : составлено по Липка и Рэннингу / К. А. Семендяев. - М. ; Л. : Гос. технико-теорет. изд-во, 1933. - 88 с. : ил., табл. - Б. ц.
Рубрики: Математика
Кл.слова (ненормированные):
МАТЕМАТИЧЕСКАЯ ЛОГИКА -- ОСНОВАНИЯ МАТЕМАТИКИ

Перейти: http://www.e-heritage.ru/Book/10073211
Найти похожие
3.    Мт|104
   П 76

   
    Применение логики в науке и технике [Текст] / АН СССР ; АН СССР. - М. : Изд-во АН СССР, 1960. - 560 с. : ил. - Библиогр. в конце ст. - 18.00 р., 1.80 р.
Рубрики: МАТЕМАТИКА
Кл.слова (ненормированные):
МАТЕМАТИЧЕСКАЯ ЛОГИКА

Доп.точки доступа: Таванец, Н.В. \ред.\; АН СССР
Найти похожие
4.    Мт|116
   Ч-11

    Чёрч, А.
    Введение в математическую логику [Текст] : перевод с английского. Т. 1 / А. Чёрч ; ред. В. А. Успенский. - М. : Изд-во иностранной литературы, 1960. - 486 с. : ил. - 2.34 р.
Рубрики: МАТЕМАТИКА
Кл.слова (ненормированные):
МАТЕМАТИЧЕСКАЯ ЛОГИКА

Доп.точки доступа: Успенский, В.А. \ред.\
Найти похожие
5.    Мт|113
   У 77

    Успенский, В. А.
    Лекции о вычислимых функциях [Текст] / В. А. Успенский. - М. : Гос. изд-во физ.-мат. лит-ры, 1960. - 492 с. : ил. - (Математическая логика и основания математики). - 1.36 р.
Рубрики: МАТЕМАТИКА
Кл.слова (ненормированные):
ВЫЧИСЛИМЫЕ ФУНКЦИИ

Найти похожие
6.    Мт|167
   Б 48

    Беркли, Э.
    Символическая логика и разумные машины [Текст] : перевод с английского / Э. Беркли ; ред. Г. Н. Поваров. - М. : Изд-во иностранной литературы, 1961. - 260 с. : ил. ; 21 см. - Библиогр.: с. 241-252. - 1.03 р.
Рубрики: МАТЕМАТИКА
Кл.слова (ненормированные):
МАТЕМАТИЧЕСКАЯ ЛОГИКА -- СЧЕТНЫЕ МАШИНЫ

Доп.точки доступа: Поваров, Г.Н. \ред.\
Найти похожие
7.    Мт|349
   Л69

   
    Логика. Автоматы. Алгоритмы [Текст] / М.А. Айзерман, Л.А. Гусев, Л.И. Розоноэр. - М. : Физматгиз, 1963. - 556 с. : ил. ; 21 см. - 1.45 р.
ББК Мт I-1 + Мт IX-5.0

Рубрики: МАТЕМАТИКА
Кл.слова (ненормированные):
МАТЕМАТИЧЕСКАЯ ЛОГИКА -- ТЕОРИЯ АВТОМАТОВ -- АЛГОРИТМЫ

Доп.точки доступа: Айзерман, М.А.; Гусев, Л.А.; Розоноэр, Л.И.
Найти похожие
8.    Мт|429
   К17

    Калужнин, Л. А.
    Что такое математическая логика [Текст] / Л.А. Калужнин. - М. : Наука , 1964. - 151 с. : ил. ; 20 см. - 0.21 р.
ББК Мт I-2

Рубрики: МАТЕМАТИКА
Кл.слова (ненормированные):
МАТЕМАТИЧЕСКАЯ ЛОГИКА

Найти похожие
9.    Мт|422
   С88

    Стяжкин, Н. И.
    Становление идей математической логики [Текст] / Н.И. Стяжкин ; Ин-т философии АН СССР. - М. : Наука , 1964. - 304 с. : ил. ; 20 см. - 0.95 р.
ББК Мт I-2

Рубрики: МАТЕМАТИКА
Кл.слова (ненормированные):
МАТЕМАТИЧЕСКАЯ ЛОГИКА

Доп.точки доступа: Ин-т философии АН СССР
Найти похожие
10.    Мт|491
   М34

   
    Математическая логика и ее применения [Текст] : сборник статей: перевод с английского / Ред. Э. Нагел, Ред. А.И. Мальцев. - М. : Мир , 1965. - 341 с. : ил. ; 22 см. - 1.65 р.
Доп. тит. л.: Logic, methodology and philosophy of science
ББК Мт I-1.2;082

Рубрики: МАТЕМАТИКА
Кл.слова (ненормированные):
МАТЕМАТИЧЕСКАЯ ЛОГИКА -- СБОРНИКИ СТАТЕЙ

Доп.точки доступа: Нагел, Э. \ред.\; Мальцев, А.И. \ред.\
Найти похожие
 1-10    11-20   21-30   31-40   41-50   51-60      
 
Описание ЭК
Стандартный
Расширенный
Профессиональный
По словарю