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

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

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

Страницы (по 30 записей на одной странице): 1  2  3  4  [с 31 по 60] В конец списка
Название Автор Описание УДК Тематика Кол-во
Логика Бернарда БольцаноФедоров Б.И.
510.6Математика. Естественные науки1
Логика и компьютер. 4: Многозначные логикиКарпенко А.С.
510.6Математика. Естественные науки1
Логика и компьютер. Моделирование рассуждений и проверка правильности программАлешина Н.А., Анисов А.М., Быстров П.И. и др.
510.6Математика. Естественные науки1
Логика и семантическое программированиеЕршов Ю.Л.
510.6Математика. Естественные науки1
Логика. Множества. Вероятность: Учеб. пособиеЛексаченко В.А.

2-е изд., испр. и доп.

510.6Математика. Естественные науки1
Логики Лукасевича и простые числаКарпенко А.С.
510.64Математика. Естественные науки1
Логико-алгебраические конструкцииГорчаков Ю.М. (отв. ред.)

Сб. науч. тр.

510Математика. Естественные науки1
Логические вопросы теории типов данныхЕршов Ю.Л.
510.6Математика. Естественные науки1
Логические задачиУчебное пособие
510.2Математика. Естественные науки1
Логические задачи: Учеб. пособиеКузьмин О.В.
510.2Математика. Естественные науки1
Логические методы в программированииЕршов Ю.Л.
510.6Математика. Естественные науки1
Логические подход к искусственному интелектуГаврилов Г.П. (ред.)
510.6Математика. Естественные науки1
Логический анализ понятия количестваСайфуллаев Н.М., Отв.ред. К.К. Одинаев
510.6Математика. Естественные науки1
Логический подход к искусственному интеллекту: От классич. логики к логич. программир.Тейз А., Грибомон П., Луи Ж. и др.; Пермяков П.П. (пер. с фр.), Гаврилов Г.П. (ред.)
510.6Математика. Естественные науки1
Математика и правдоподобные рассужденияПойа Д.; Вайнштейн И.А. (пер. с англ.); Яновская С.А. (ред.)

Изд. 3-е

510.6Математика. Естественные науки1
Математическая логикаЛатотин Л.А. и др.
510.6Математика. Естественные науки1
Математическая логикаЗамятин А.П.

Учебное пособие

510.6Математика. Естественные науки1
Математическая логикаКлини С.К.; Гастев Ю.А. (пер. с англ.)

Изд. 2-е, стер.

510.6Математика. Естественные науки1
Математическая логикаОрехов Ю.В.

Учебное пособие

510.6Математика. Естественные науки1
Математическая логикаОрехов Ю.В., Орехов Э.Ю.

Учеб. пособие

510.6Математика. Естественные науки1
Математическая логикаМолчанов В.А.
510.6Математика. Естественные науки1
Математическая логикаПопова С.В.

Учебное пособие

510.6Математика. Естественные науки1
Математическая логика в вопросах и задачахТимофеева И.Л.

Учебное пособие

510.6Математика. Естественные науки1
Математическая логика в программированииЗахарьящев М.В., Янов Ю.И.
510.6Математика. Естественные науки1
Математическая логика и ее применение. Вып. 4. Алгоритмические вопросы формальных системПлюшкявичус Р. (ред.)
510.6Математика. Естественные науки1
Математическая логика и теория алгоритмовХусаинов А.А., Михайлова Н.Н.

Учебное пособие

510.6Математика. Естественные науки1
Математическая логика и теория алгоритмовЗюзьков В.М.

Учебное пособие для вузов

510.6Математика. Естественные науки1
Математическая логика и теория алгоритмовИгошин В.И.

Учеб. пособие для вузов

510.6Математика. Естественные науки1
Математическая логика и теория алгоритмовНабебин А.А., Кораблин Ю.П.

Учеб. пособие

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



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