185 results Пропуск в контексте
Электронный каталог
Национальной библиотеки
Беларуси
  • Вход
  • Язык
    • Русский
    • Белорусский
    • English
    • Deutsch
    • Español
    • Français
    • 中文(繁體)
    • Polski
Расширенный поиск
Расширенный поиск
  • Поиск:
Отображение 1 - 20 из 185 для поиска: '', время запроса: 0.09сек.
   Выбранные записи:
Значок книги
Введение в математическую логику / Пер. с англ. В. С. Чернявского. Под ред. [и с предисл.] В. А. Успенского. Т. 1. — 1960. — 485 с.
Книги
Добавить в Избранное
Сохранено в:
Структура документа
Значок книги
Многоцветная логика: 175 логич. задач / Перевод с венг. Ю. А. Данилова. - М. : Мир, 1978. - 435 с.
Автор Бизам, Д.
Книги
Добавить в Избранное
Сохранено в:
Значок книги
Ламбда-исчисление: Его синтаксис и семантика / Пер. с англ. Г. Е. Минца; Под ред. А. С. Кузичева. - М. : Мир, 1985. - 606 с.
Автор Барендрегт, Х. П.
Книги
Добавить в Избранное
Сохранено в:
Значок книги
Алгебра, логика и теория чисел / МГУ им. М. В. Ломоносова, Мех.-мат. фак. - М. : Изд-во Моск. ун-та, 1986. - 101 с.
Книги
Добавить в Избранное
Сохранено в:
Значок книги
Структурно-логические методы исследования сложных систем с применением ЭВМ. - М. : Наука, 1987. - 303, [1] с. - (Теория и методы систем. анализа)
Автор Левин, В. И.
Книги
Добавить в Избранное
Сохранено в:
Значок книги
Логико-вероятностные методы и средства идентификации и прогнозирования бинарных систем. - Иркутск : Изд-во Иркут. ун-та, 1987. - 112 с.
Автор Кирий, В. Г.
Книги
Добавить в Избранное
Сохранено в:
Значок книги
Логический подход к искусственному интеллекту: От классич. логики к логич. программир. / [А. Тейз, П. Грибомон, Ж. Луи и др.]. - М. : Мир, 1990. - 429 с.
Книги
Предварительный обзор
Предварительный обзор
Предварительный обзор
Добавить в Избранное
Сохранено в:
Значок книги
Основные вопросы математической логики: Учеб. пособие / М-во высш. и сред. спец. образования СССР. Моск. экон.-стат. ин-т. - М., 1974. - 45 с.
Книги
Добавить в Избранное
Сохранено в:
Значок книги
Логические программы и их синтез. - Новосибирск, 1986. - 32 с. - (Препр. ; № 23)
Автор Воронков, А. А.
Книги
Добавить в Избранное
Сохранено в:
Значок книги
Синтез логических программ. - Новосибирск, 1986. - 42 с. - (Препр. ; № 24)
Автор Воронков, А. А.
Книги
Добавить в Избранное
Сохранено в:
Значок книги
Математическая логика: Текст лекций для спец. 01.02 «Прикл. математика» / Моск. лесотехн. ин-т. - М. : МЛТИ, 1991. - 76 с.
Автор Шачнев, В. А.
Книги
Добавить в Избранное
Сохранено в:
Значок книги
Генценовские системы для исчисления высказываний и аксиоматической арифметики: Учеб. пособие / Челяб. гос. пед. ин-т. - Челябинск : ЧПИ, 1985. - 31, [1] с.
Автор Кипнис, М. М.
Книги
Добавить в Избранное
Сохранено в:
Значок книги
Элементы теории множеств и математической логики: Учеб. пособие. - Ярославль : ЯрГУ, 1978. - 116 с.
Автор Дурнев, В. Г.
Книги
Добавить в Избранное
Сохранено в:
Значок книги
Прикладной нестандартный анализ / Перевод с англ. С. Ф. Сопрунова; Под ред. и с предисл. [с. 5-21] В. А. Успенского. - М. : Мир, 1980. - 236 с.
Автор Девис, М.
Книги
Добавить в Избранное
Сохранено в:
Значок книги
Математическая логика / Пер. с англ. В. С. Чернявского. Под ред., [с примеч.] и предисл. С. А. Яновской. - М. : Изд. иностр. лит., 1961. - 162 с. - (Б-чка сборника «Математика»)
Автор Гудстейн, Р. Л.
Книги
Добавить в Избранное
Сохранено в:
Значок книги
Греческая логистика / Ереван. арм. гос. пед. ин-т им. Х. Абовяна. - Ереван : Айастан, 1972. - 309 с.
Автор Еганян, А. М.
Книги
Добавить в Избранное
Сохранено в:
Значок книги
Сборник задач и упражнений по основам теории систем: Для студентов 2 курса АСУФ (спец. 0646) дневного и вечернего отд-ний. - Новосибирск, 1985. - 48 с.
Автор Ренин, С. В.
Книги
Добавить в Избранное
Сохранено в:
Значок книги
Универсальная алгебра, алгебраическая логика и базы данных. - М. : Наука. Гл. ред. физ.-мат. лит., 1991. - 448 с.
Автор Плоткин, Б. И.
Книги
Добавить в Избранное
Сохранено в:
Значок книги
Математическая логика: Лекции для студентов-математиков НГУ. - Новосибирск : [НГУ], 1973. - 159 с. - (Серия «Б-ка кафедры алгебры и мат. логики» ; Вып. 12)
Автор Ершов, Ю. Л.
Книги
Добавить в Избранное
Сохранено в:
Значок книги
Проблема логического следования в математической логике: Лекция. - Ереван : Изд-во Ерев. ун-та, 1981. - 36 с.
Автор Джиджян, Р. З.
Книги
Добавить в Избранное
Сохранено в:
   Выбранные записи:
  • 1
  • 2
  • 3
  • 4
  • 5
  • 6
  • 7
  • 8
  • 9
  • 10
  • Следующий »
  • [10]
Инструменты поиска: RSS-поток — Отправить результаты поиска по Email — Сохранить запрос

Уточнение результатов поиска

Вид документа
185 Книги см. все ...
Автор/Создатель
4 Градштейн, И. С. 4 Новиков, П. С. 4 Успенский, В. А. 3 Богданова, Н. Б. 3 Гжегорчик, А. 3 Гильберт, Д. больше ... 3 Левин, В. И. 3 Марков, А. А. 3 Мендельсон, Э. 3 Стяжкин, Н. И. 2 Бизам, Д. 2 Варданян, В. А. 2 Воронков, А. А. 2 Гетманова, А. Д. 2 Гудстейн, Р. Л. 2 Депман, И. Я. 2 Захарьящев, М. В. 2 Калужнин, Л. А. 2 Кейслер, Г. Дж. 2 Клини, С. К. 2 Кравчук, Н. В. 2 Осипова, В. А. 2 Харин, Н. Н. 1 Антипенко, Л. Г. 1 Астанина, Н. П. 1 Барендрегт, Х. П. 1 Беркли, Э. 1 Берчанский, В. П. 1 Ващенко, В. П. 1 Волгин, Л. И. см. все ... меньше ...
Предмет
Математическая логика 13 Множеств теория 9 Алгоритмы 8 Теоремы - Доказательство 6 Автоматов теория 3 Квантовая механика - Математические методы больше ... 2 Алгебра 2 Алгебра высшая 2 Графов теория (мат.) 2 Кибернетика - Математические основы 2 Логика 2 МАТЕМАТИКА 2 Математический анализ 2 Множества (мат.) 2 Счетные машины и приборы, вычислительные, электронные 1 Автоматика 1 Аксиомы (мат.) 1 Базы данных 1 Графов теория 1 Графов, теория 1 Дедуктивный метод в науке 1 Диалектическая логика 1 Дискретная математика 1 Искусственный интеллект 1 Исчислений теория 1 Квантовая статистика 1 Комбинаторика 1 Конструктивная математика 1 Логика научного познания 1 Логика формальная - Математические методы см. все ... меньше ...
Серия
9 Мат. логика и основания математики 7 Препр 3 Кибернетика 3 Препринт 3 Сообщ. Объед. ин-та ядер. исслед 2 Матем. логика и основания математики больше ... 1 Б-ка кафедры алгебры и матем. логики 1 Б-ка по автоматике 1 Б-чка сборника «Математика» 1 Матем. просвещение 1 Математика 1 Математика. Новое в зарубеж. науке 1 Популяр. лекции по математике 1 Серия 6 1 Серия «Б-ка кафедры алгебры и мат. логики» 1 Соврем. алгебра 1 Соврем. математика. Попул. серия 1 Теория и методы систем. анализа см. все ... меньше ...
Место публикации
95 М. 11 Новосибирск 6 Л. 6 Саратов 5 Киев 4 Горький больше ... 4 Ереван 3 Дубна 3 Л. М. 2 Кишинев 2 Мурманск 2 Свердловск 2 Ярославль 1 Алма-Ата 1 Благовещенск 1 Брянск 1 Вильнюс 1 Ворошиловград 1 Долгопрудный 1 Душанбе 1 Иркутск 1 Казань 1 Калинин 1 Караганда 1 Киров 1 Красноярск 1 Куйбышев 1 Омск 1 Орел 1 Рига см. все ... меньше ...
Язык
185 Русский 1 Английский см. все ...
Дата издания

Опции поиска

  • История поисков
  • Расширенный поиск (каталог НББ)
  • Новые документы НББ

Нужна справка? Она ниже. Помощь

  • Советы для поиска
  • Обратитесь к библиотекарю
  • Помощь по работе в Электронном каталоге
  • Видеоурок: Поиск по фондам библиотеки
Загрузка...