ИПС РАН
Главная Расписание работы Сотрудники библиотеки Фотогалерея
Математика. Естественные науки
  Математика
  Алгебра
  Химия
  Анализ
  Физика
  БОТАНИКА
  Естественные науки
  Биологические науки
  Геология. Геологические и геофизические науки
  Общие вопросы математических и естественных наук
  Астрономия. Астрофизика. Исследование космического пространства. Геодезия
  Фундаментальные и общие проблемы математики. Основания математики, математическая логика и т. п.
  Зоология
  Природа. Охрана природных ресурсов. Угрозы окружающей среде и защита от них
Прикладные науки. Медицина. Техника
  Медицина
  Точная механика
  Сельское хозяйство
  Прикладные науки. Общие вопросы
  Техника в целом. Инженерное дело
  Регулирование и управление машинами и процессами
  Реклама. Система информации. Связь с общественностью
  Домоводство. Коммунально-бытовое хозяйство. Служба быта
  Химическая технология. Химическая промышленность. Родственные отрасли
  Управление предприятиями. Организация производства, торговли и транспорта
  Строительное дело. Строительные материалы. Строительно-монтажные работы
  Различные отрасли промышленности и ремесла, производящие конечную продукцию. Точная механика. Легкая промышленность
  Сельское хозяйство. Лесное хозяйство. Охота. Рыбное хозяйство
  Прикладные информационные (компьютерные) технологии
  Обработка и создание документов
  Биотехнология
Информационные технологии. Компьютерные технологии
  Данные
  Программные средства
  Искусственный интеллект
  Качество систем и программ
  Информационные технологии
  Архитектура вычислительных машин
  Ориентация процесса обработки данных
  Аппаратные средства. Техническое обеспечение
  Системы управления базами данных (СУБД) сохранит
  Связь компьютеров. Сети ЭВМ. Вычислительные сети
  Человеко-машинное взаимодействие. Пользовательский интерфейс
  Прикладные информационные (компьютерные) технологии. Методы, основанные на применении компьютеров
  Методы решения задач
  Операционные системы
  Обработка и создание документов
Деятельность и организация: общая теория информации, связи и управления (кибернетики), включая деяте
  Самодействующие системы
  общая теория информации
Общественные науки
  Право
  Статистика
  ПОЛИТИКА
  Экономика. Народное хозяйство. Экономические науки
  Общественные науки
  Государственное административное управление
  Экономические науки в целом. Политическая экономия
  Теории, методология и методы общественных наук в целом. Социография
  Воспитание. Обучение. Учебные занятия. Организация досуга
  Торговля. Международные экономические отношения. Мировое хозяйство
  Этнография. Этнолингвистика. Этнология. Нравы. Обычаи. Жизнь народа. Фольклор
  Экономическое положение. Экономическая политика. Управление и планирование в экономике. Производство. Услуги. Цены
  ОБЕСПЕЧЕНИЕ ДУХОВНЫХ И МАТЕРИАЛЬНЫХ ЖИЗНЕННЫХ ПОТРЕБНОСТЕЙ. СОЦИАЛЬНОЕ ОБЕСПЕЧЕНИЕ. СОЦИАЛЬНАЯ ПОМОЩЬ. ОБЕСПЕЧЕНИЕ ЖИЛИЩЕМ. СТРАХОВАНИЕ
  Социология
Философия. Психология. Логика
  Эстетика
  Психология
  Метафизика
  Философия.
  Логика. Теория познания. Методология и логика науки
  Этика. Учение о морали. Практическая философия
  1 ЭСТЕТИКА
Языкознание. Филология. Художественная литература. Литературоведение
  Общие вопросы лингвистики и литературоведения. Филология
  Лингвистика. Языкознание. Языки
  Литература. Литературоведение
Печать в целом. Документация. Научно-техническая информация
  Документация. Научно-техническая информация
  Работа органов научно-технической информации
  Документация. Научно-техническая информация (НТИ). Печать в целом. Авторство
Деятельность и организация: общая теория информации, связи и управления (кибернетики), включая деяте
  Самодействующие системы
  общая теория информации
Искусство. Декоративно-прикладное искусство. Фотография. Музыка. Игры. Спорт с
  Декоративно-прикладное искусство.
  Фотография
  Архитектура
  Рисование. Черчение. Декоративно-прикладное искусство. Художественные промыслы
  Планировка в масштабе страны. Районная планировка. Градостроительство. Садово-парковая архитектура. Преобразование ландшафта
  Общая теория искусства. Философия искусства. Эстетика. Проблемы эстетического вкуса. Принципы композиции, пропорций, зрительных эффектов
  Объекты и темы художественного изображения. Иконография. Иконология. Детали и отделка. Украшение. Декор. Орнамент
Стандартизация и стандарты
  Стандартизация и стандарты
Общий отдел
  Наука и знание целом
  Цивилизация. Культура. Прогресс
  Справочные издания общего типа. Энциклопедии, словари и т.д
  Изучение проблемы организации: методология, анализ, синтез, классификация и таксономия, систематизация в целом
  Организация и прочие типы объединений. Ассоциации. Конгрессы. Выставки. Музеи
  Общая методология. Научные и технические методы исследования, изучения, поисков и дискуссий. Научный анализ и синтез
  Письменность. Семиотика, синтаксис и семантика в целом: рукописный шрифт и письмена, знаки и символы
  Деятельность и организация. Общая теория связи и управления (кибернетика)
  Общие вопросы науки и культуры
Религия. Теология
  Христианство
  Религия
  Теология
  Современные духовные течения
  Религиозные системы. Религии, верования
  История христианской церкви в целом
Библиография. Каталоги. Указатели литературы
  Отраслевые библиографии
  Библиография. Каталоги. Указатели литературы
Библиотечное дело. Библиотековедение
  Работа библиотеки: отделы, службы и т. п.
  Библиотековедение
  Организация и развитие библиотечного дела. Задачи библиотек
  Отраслевые и специальные библиотеки
География. Биографии. История
  Биографии
  История. Теоретические вопросы
  География
  Археология
  Всеобщая история
  Биографические и подобные исследования
  Географические открытия. Путешествия. Экспедиционные исследования. Экспедиции
  География. Географические исследования земли и отдельных стран. Путешествия. Региональная география
Экономика. Народное хозяйство. Экономические науки
  Экономика. Народное хозяйство. Экономические науки
  Теория и организация труда. Взаимоотношения между предприятием и персоналом, между работодателями и работающими, между трудом и капиталом
  Экономические науки в целом. Политическая экономия
  Экономическая политика. Управление и планирование в экономике
  Труд. Наука о труде. Экономика труда. Организация труда
  Экономическое положение. Экономическая политика. Управление и планирование в экономике. Производство. Услуги. Цены
  Формы организаций и сотрудничества в экономике
  Финансы. Банковское дело. Деньги и денежное обращение
  Региональная (территориальная) экономика. Земельный (аграрный) вопрос. Жилищное хозяйство
  Экономическое положение. Экономическая политика. Управление и планирование в экономике. Производство. Услуги. Цены
Демография. Социология. Статистика
  Общая организация статистики. Официальная статистика
  Социология
Главная страница  Математика. Естественные науки Фундаментальные и общие проблемы математики. Основания математики, математическая логика и т. п.
 

Фундаментальные и общие проблемы математики. Основания математики, математическая логика и т. п.

Всего: наименований – 65, экземпляров – 65

Страницы (по 30 записей на одной странице): 1  2  3  [с 31 по 60] В конец списка
Название Автор Описание УДК Тематика Кол-во
Доклады по математике и ее приложениям.

Т.2.Вып.2.

510Математика. Естественные науки1
Интуиционизм: введениеГейтинг А.; Янкова В.А. ( пер. с англ.)

- 2-е изд.

510.24Математика. Естественные науки1
Исследования по математической логике и теории алгоритмовМагнарадзе Л.Г. (ред.)
510.6Математика. Естественные науки1
Конструктивная теория доказательств и нестандартный анализДрагалин А.Г.
510.25Математика. Естественные науки1
Логика , алгебра и базы, данных/Пер. с англ.Грэй П.
510.6Математика. Естественные науки1
Логические и математические исчисления: учебное пособиеШиханович Ю.А.
510.6Математика. Естественные науки1
Логические исследованияСмирнов В.А. (отв. ред.)
510.6Математика. Естественные науки1
Логические исследования. Вып. 1
510.6Математика. Естественные науки1
Логические исследования. Вып. 10
510.6Математика. Естественные науки1
Логические исследования. Вып. 12
510.6Математика. Естественные науки1
Логические исследования. Вып. 13
510.6Математика. Естественные науки1
Логические исследования. Вып. 14
510.6Математика. Естественные науки1
Логические исследования. Вып. 15
510.6Математика. Естественные науки1
Логические исследования. Вып. 2
510.6Математика. Естественные науки1
Логические исследования. Вып. 3
510.6Математика. Естественные науки1
Логические исследования. Вып. 4: Посвящен памяти В.А. СмирноваКарпенко А.С. (отв. ред.)
510.6Математика. Естественные науки1
Логические исследования. Вып. 5
510.6Математика. Естественные науки1
Логические исследования. Вып. 6
510.6Математика. Естественные науки1
Логические исследования. Вып. 7
510.6Математика. Естественные науки1
Логические исследования. Вып. 8
510.6Математика. Естественные науки1
Логическое моделирированиеПопов С.В.
510.66Математика. Естественные науки1
Математическая логикаГудстейн Р.Л.; Чернявский В.С. (пер с англ.)

-2-е изд.

510.6Математика. Естественные науки1
Математическая логика и алгебра? Сб.ст.Адян С.И.(ред)

Т. 242

510.6:512Математика. Естественные науки1
Математическая логика и дискретная математика: Учебное пособиеКарпов В.Г., Мощенский В.А.
510.6Математика. Естественные науки1
Математическая логика и теория алгоритмов : Учебное пособие для вузов Гурова Л.М., Зайцева Е.В.
510.6:510.51Математика. Естественные науки1
Математическая логика: Учеб. пособиеАстанина Н.П.
510.6Математика. Естественные науки1
Начала теории множествВерещагин Н.К., Шень А.

Лекции по математической логике и теории алгоритмов; Ч.1

510.22Математика. Естественные науки1
Общая теория множеств комбинаторика: Учеб. пособиеГданский Н.И.
510.22:519.1Математика. Естественные науки1
Основы теоретической логикиГильберт Д., Аккерман В.; Ерофеев А.А. (пр. с англ.)

- 2-е изд.

510.6Математика. Естественные науки1
Основы теоретической логикиГильберт Д., Аккерман В.

- 2-е изд.

510.6Математика. Естественные науки1
Страницы (по 30 записей на одной странице): 1  2  3  [с 31 по 60] В начало списка



ИПС им. А.К. Айламазяна РАН
152021 Ярославская область, Переславский район, с. Веськово, ул. Петра I, д.4 «а», телефон (48535) 98-076
Вход для библиотекарей