850 results Пропуск в контексте
Электронный каталог
Национальной библиотеки
Беларуси
  • Вход
  • Язык
    • Русский
    • Белорусский
    • English
    • Deutsch
    • Español
    • Français
    • 中文(繁體)
    • Polski
Расширенный поиск
Расширенный поиск
  • Поиск: "МАТЕМАТИЧЕСКАЯ ЛОГИКА"
Отображение 201 - 220 из 850 для поиска: '"МАТЕМАТИЧЕСКАЯ ЛОГИКА"', время запроса: 0.47сек.
   Выбранные записи:
Значок книги
Математическая логика и теория алгоритмов: Учеб. пособие для студентов физ.-мат. спец. пед. ин-тов. - Саратов : Изд-во Саратов. ун-та, 1991. - 250 с.
Автор Игошин, В. И.
Предмет: '; “...Математическая логика - Учебники...”
Книги
Добавить в Избранное
Сохранено в:
Значок книги
Введение в теорию множеств и математическую логику: Учеб. пособие / Сост. Романович В. А. - Томск : Изд-во Том. ун-та, 1986. - 74 с.
Предмет: '; “...Математическая логика - Учебники...”
Книги
Добавить в Избранное
Сохранено в:
Значок книги
Алгоритмы и алгебра: Учеб. пособие / Урал. гос. ун-т им. А. М. Горького. - Свердловск, 1988. - 76 с.
Автор Важенин, Ю. М.
Предмет: '; “...Математическая логика - Учебники...”
Книги
Добавить в Избранное
Сохранено в:
Значок книги
Автоматизированная обучающая система по элементам математической логики: Учеб. пособие / А. И. Пинский, О. В. Шварцман, А. В. Гуртовой. - М., 1987. - 30 с.
Автор Пинский, А. И.
Предмет: '; “...Математическая логика...”
Книги
Добавить в Избранное
Сохранено в:
Значок книги
Построение формулировок теорем и способов доказательств: Логич. приемы мышления в творч. деятельности / И. П. Калошина, Н. В. Миничкина, Г. А. Шманова. - Саранск : Изд-во Сарат. ун-та. Саран. фил., 1988. - 118, [1] с.
Автор Калошина, И. П.
Предмет: '; “...Математическая логика...”
Книги
Предварительный обзор
Предварительный обзор
Предварительный обзор
Добавить в Избранное
Сохранено в:
Значок книги
Математика метаматематики / Перевод с англ. В. А. Янкова. - М. : Наука, 1972. - 591 с. - (Мат. логика и основания математики)
Автор Расёва, Е.
Предмет: '; “...Математическая логика...”
Книги
Добавить в Избранное
Сохранено в:
Значок книги
Девятая Всесоюзная конференция по математической логике (Ленинград, 27-29 сент. 1988 г.): Посвящается 85-летию А. А. Маркова : Тез. докл. - Л. : Наука. Ленингр. отд-ние, 1988. - 191 с.
Автор Всесоюзная конф. по мат. логике (9; 1988; Ленинград)
Предмет: '; “...Математическая логика - Тезисы докладов...”
Книги
Предварительный обзор
Предварительный обзор
Предварительный обзор
Добавить в Избранное
Сохранено в:
Значок книги
Логические эксперименты с автоматами / Под ред. А. М. Богомолова. - Саратов : Изд-во Сарат. ун-та, 1988. - 183, [1] с.
Автор Твердохлебов, В. А.
Предмет: '; “...Математическая логика...”
Книги
Добавить в Избранное
Сохранено в:
Значок книги
Дискретные структуры: Учеб. пособие / Харьков. авиац. ин-т им. Н. Е. Жуковского. - Харьков : ХАИ, 1988. - 51 с.
Автор Холодный, М. Ф.
Предмет: '; “...Математическая логика - Учебники и пособия...”
Книги
Добавить в Избранное
Сохранено в:
Значок книги
Учимся рассуждать и доказывать: Кн. для учащихся 6-10-х кл. сред. шк. / И. Л. Никольская, Е. Е. Семенов. - М. : Просвещение, 1989. - 190, [2] с.
Автор Никольская, И. Л.
Предмет: '; “...Математическая логика - (д. л)...”
Книги
Предварительный обзор
Предварительный обзор
Предварительный обзор
Добавить в Избранное
Сохранено в:
Значок книги
Симметрическая конструктивная логика. - Ереван : Изд-во АН АрмССР, 1978. - 281 с.
Автор Заславский, И. Д.
Предмет: '; “...Математическая логика...”
Книги
Добавить в Избранное
Сохранено в:
Значок книги
Динамика логических устройств и систем. - М. : Энергия, 1980. - 224 с.
Автор Левин, В. И.
Предмет: '; “...Математическая логика...”
Книги
Добавить в Избранное
Сохранено в:
Значок книги
Элементы математической логики и теория множеств / Перевод с польского О. Ф. Серебрянникова. Спецред. д-ра техн. наук проф. И. Н. Коваленко. - М. : Прогресс, 1965. - 368 с.
Автор Слупецкий, Е.
Предмет: '; “...Математическая логика...”
Книги
Добавить в Избранное
Сохранено в:
Значок книги
Методологические проблемы науки / [Вступит. статья Д. П. Горского]. - М. : Мысль, 1972. - 280 с. с черт.; 1 л. портр.
Автор Яновская, С. А.
Предмет: '; “...Математическая логика...”
Книги
Добавить в Избранное
Сохранено в:
Значок книги
Лекции по математической логике и теории множеств / Я. П. Цирулис. Ч. 1. — 1975. — 143 с.
Предмет: '; “...Математическая логика...”
Книги
Добавить в Избранное
Сохранено в:
Структура документа
Значок книги
Тезисы докладов / АН СССР. Отд-ние математики. Ин-т математики Сиб. отд-ния. АН Кгз. ССР. Ин-т математики и механики. М-во высш. и сред. спец. образования КазССР. Каз. гос. ун-т им. С. М. Кирова. Каз. гос. пед. ин-т им. Абая. Всесоюз. симпозиум по матем. логике. Алма-Ата, 2-7 июня 1969 г. - Алма-Ата, 1969. - 53 с.
Автор Всесоюзный симпозиум по математической логике. Алма-Ата. 1969
Предмет: '; “...Математическая логика - Тезисы докладов...”
Книги
Добавить в Избранное
Сохранено в:
Значок книги
Введение в математическую логику: [Учеб. пособие для мат. спец. вузов]. - М. : Изд-во МГУ, 1982. - 120 с.
Автор Колмогоров, А. Н.
Предмет: '; “...Математическая логика - Учебники и пособия...”
Книги
Добавить в Избранное
Сохранено в:
Значок книги
Алгебраические системы. - М. : Наука, 1970. - 392 с. с черт.; 1 л. портр. - (Соврем. алгебра)
Автор Мальцев, А. И.
Предмет: '; “...Математическая логика...”
Книги
Добавить в Избранное
Сохранено в:
Значок книги
Сборник задач по математической логике и алгебре множеств. - Изд. 2-е, испр. и доп. - Саратов : Изд. Сарат. ун-та, 1969. - 90 с.
Предмет: '; “...Математическая логика - Задачи...”
Книги
Добавить в Избранное
Сохранено в:
Значок книги
Сборник задач по математической логике и алгебре множеств. - Саратов : Изд-во Сарат. ун-та, 1965. - 87 с.
Предмет: '; “...Математическая логика - Задачи...”
Книги
Добавить в Избранное
Сохранено в:
   Выбранные записи:
  • [1]
  • « Пред.
  • 6
  • 7
  • 8
  • 9
  • 10
  • 11
  • 12
  • 13
  • 14
  • 15
  • 16
  • Следующий »
  • [43]
Инструменты поиска: RSS-поток — Отправить результаты поиска по Email — Сохранить запрос

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

Вид документа
637 Книги 162 Авторефераты диссертаций 27 Продолжающиеся издания 15 Диссертации 4 Периодические издания 3 Статьи больше ... 2 Редкие/старопечатные издания см. все ... меньше ...
Автор/Создатель
7 Ершов, Ю. Л. (род. 1940) 6 Бирюков, Б. В. (1922—2014) 6 Градштейн, И. С. 6 Игошин, В. И. (род. 1948) 5 Кэрролл, Л. (1832—1898) 5 Столяр, А. А. (1919—1993) больше ... 4 Бирюков, Б. В. (род. 1922) 4 Верещагин, Н. К. (род. 1958) 4 Лавров, И. А. 4 Левин, В. И. 4 Мощенский, В. А. (род. 1938) 4 Новиков, П. С. 4 Смаллиан, Р. (род. 1919) 4 Стяжкин, Н. И. 4 Успенский, В. А. 4 Фреге, Г. (1848—1925) 3 Бахтияров, К. И. (род. 1934) 3 Белорусская математическая конференция 3 Богданова, Н. Б. 3 Гжегорчик, А. 3 Гильберт, Д. 3 Гудстейн, Р. Л. 3 Ершов, Ю. Л. 3 Иноземцев, В. А. (род. 1963) 3 Калужнин, Л. А. 3 Карпенко, А. С. (род. 1946) 3 Колмогоров, А. Н. (1903—1987) 3 Кулик, Б. А. 3 Лавров, И. А. (1937—2011) 3 Лихтарников, Л. М. (род. 1924) см. все ... меньше ...
Предмет
523 МАТЕМАТИЧЕСКАЯ ЛОГИКА 251 МАТЭМАТЫЧНАЯ ЛОГІКА 185 Математическая логика 47 МНОЖЕСТВ ТЕОРИЯ 46 МАТЕМАТИКА 46 Математическая логика - Сборники больше ... 41 ДИСКРЕТНАЯ МАТЕМАТИКА 39 ЛОГІКА 38 ЛОГИКА 34 АЛГЕБРА 29 АЛГОРИТМОВ ТЕОРИЯ 26 БУЛЕВА АЛГЕБРА 25 ГРУПП ТЕОРИЯ 23 КОНЕЧНЫЕ ГРУППЫ 23 МАТЭМАТЫКА 22 ГРАФОВ ТЕОРИЯ 22 ЧИСЕЛ ТЕОРИЯ 21 ВЫЧИСЛИМОСТИ ТЕОРИЯ 20 КАНЕЧНЫЯ ГРУПЫ 19 ОСНОВАНИЯ МАТЕМАТИКИ 18 ГРУП ТЭОРЫЯ 17 ИНФОРМАТИКА 17 КОМБИНАТОРИКА 17 МАТЕМАТИКИ 16 ФИЛОСОФИЯ МАТЕМАТИКИ 15 ЛІКАЎ ТЭОРЫЯ 15 МОДАЛЬНАЯ ЛОГИКА 15 ФИЛОСОФСКИЕ ПРОБЛЕМЫ 14 ЛОГИЧЕСКИЕ ФУНКЦИИ 14 ПРЕДИКАТЫ (мат.) см. все ... меньше ...
Жанр
84 УЧЕБНОЕ ПОСОБИЕ ДЛЯ ВУЗОВ 26 УЧЕБНО-МЕТОДИЧЕСКОЕ ПОСОБИЕ ДЛЯ СТУДЕНТОВ ВУЗОВ 9 КУРС ЛЕКЦИЙ 8 ЗАДАЧНИК С РЕШЕНИЯМИ 8 НАВУЧАЛЬНЫ ДАПАМОЖНІК ДЛЯ ВНУ 8 ПРАКТИКУМ ДЛЯ ВУЗОВ больше ... 6 БИОГРАФИЧЕСКИЕ СВЕДЕНИЯ 6 ЗАДАЧНИК 6 МЕТОДИЧЕСКИЕ РЕКОМЕНДАЦИИ 6 УЧЕБНИК ДЛЯ ВУЗОВ 5 ЛАБОРАТОРНАЯ РАБОТА 5 УЧЕБНОЕ ПОСОБИЕ ДЛЯ СРЕДНЕЙ ШКОЛЫ 4 УЧЕБНО-МЕТОДИЧЕСКОЕ ПОСОБИЕ ДЛЯ УЧИТЕЛЕЙ СРЕДНЕЙ ШКОЛЫ 3 ИЗДАНИЕ ДЛЯ ДЕТЕЙ И ЮНОШЕСТВА 3 МАТЕРИАЛЫ КОНФЕРЕНЦИИ, СЪЕЗДА, СИМПОЗИУМА 3 НАВУЧАЛЬНА-МЕТАДЫЧНЫ ДАПАМОЖНІК ДЛЯ СТУДЭНТАЎ ВНУ 3 УЧЕБНО-ПРАКТИЧЕСКОЕ ПОСОБИЕ 3 УЧЕБНОЕ ПОСОБИЕ ДЛЯ ССУЗОВ 2 АРХИВНЫЙ ДОКУМЕНТ 2 БИОГРАФИЯ 2 ВОСПОМИНАНИЯ 2 ЗАДАЧНІК 2 ИЗДАНИЕ ДЛЯ ДОСУГА 2 КАЛЕНДАРНО-ТЕМАТИЧЕСКИЙ ПЛАН 2 МЕТОДИЧЕСКИЕ УКАЗАНИЯ 2 РАБОЧАЯ ТЕТРАДЬ 2 УЧЕБНАЯ ПРОГРАММА ДЛЯ ВУЗОВ 2 УЧЕБНО-МЕТОДИЧЕСКИЙ КОМПЛЕКС ДЛЯ ВУЗОВ 2 УЧЕБНО-МЕТОДИЧЕСКОЕ ПОСОБИЕ ДЛЯ УЧИТЕЛЕЙ НАЧАЛЬНОЙ ШКОЛЫ 2 УЧЕБНОЕ ПОСОБИЕ ДЛЯ СТУДЕНТОВ ЗАОЧНОЙ ФОРМЫ ОБУЧЕНИЯ см. все ... меньше ...
Серия
9 Мат. логика и основания математики 8 Библиотека аналитической философии 7 Препр 7 Труды Математического института имени В. А. Стеклова 6 Препринт 5 Наука в СССР: через тернии к звездам больше ... 5 Сибирская школа алгебры и логики 5 Физико-математическое наследие 4 Высшее образование 4 Учебники для вузов. Специальная литература 4 Ученые записки 3 Relata Refero 3 Высшее профессиональное образование 3 Из истории логики XX века 3 Кибернетика 3 Классический университетский учебник 3 Независимый альянс 3 Сообщ. Объед. ин-та ядер. исслед 2 Acta Universitatis Wratislaviensis 2 Seria "Filozofia i logika" 2 Б-ка кафедры алгебры и матем. логики 2 Бакалавриат 2 Библиотечка журнала "Информационные технологии" 2 Классики науки 2 Матем. логика и основания математики 2 Науку — всем! 2 Приложение к журналу "Квант" 2 Свет разума 2 Современные лекционные курсы 2 Среднее профессиональное образование см. все ... меньше ...
Место публикации
188 М. 148 Москва 57 Новосибирск 52 Минск 20 Гомель 19 Санкт-Петербург больше ... 17 СПб 13 Мн 12 Саратов 11 Могилев 10 Л. 9 Warszawa 9 Витебск 9 Казань 9 Ярославль 7 Ереван 7 Киев 7 Красноярск 7 Санкт-Петербург [и др.] 6 Poznań 6 Алматы 6 Мінск 6 Омск 5 Екатеринбург 5 Иваново 5 Калинин 5 Свердловск 4 Горький 4 Мозырь 3 Алма-Ата см. все ... меньше ...
Язык
798 Русский 73 Английский 15 Польский 12 Белорусский 11 Немецкий 9 Французский больше ... 5 Казахский 3 Украинский 2 Армянский 2 Литовский 2 Неопределенный 1 Грузинский 1 Испанский см. все ... меньше ...
Дата издания

Опции поиска

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

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

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