850 results Пропуск в контексте
Электронный каталог
Национальной библиотеки
Беларуси
  • Вход
  • Язык
    • Русский
    • Белорусский
    • English
    • Deutsch
    • Español
    • Français
    • 中文(繁體)
    • Polski
Расширенный поиск
Расширенный поиск
  • Поиск: "МАТЕМАТИЧЕСКАЯ ЛОГИКА"
Отображение 801 - 820 из 850 для поиска: '"МАТЕМАТИЧЕСКАЯ ЛОГИКА"', время запроса: 1.00сек.
   Выбранные записи:
Значок книги
Программирование. Математические основы, средства, теория: Учеб. пособие / Святослав Лавров. - СПб. : BHV - Санкт-Петербург, 2001. - 317 с. - (Мастер)
Автор Лавров, С. С. (1923—2004)
Предмет: '; “...МАТЕМАТИЧЕСКАЯ ЛОГИКА...”
Книги
Предварительный обзор
Предварительный обзор
Предварительный обзор
Добавить в Избранное
Сохранено в:
Значок книги
Конструктивная теория доказательств и нестандартный анализ: сборник / А.Г.Драгалин. - Москва : Едиториал УРСС, 2003. - 543 с.
Автор Драгалин, А. Г. (1941—1998)
Предмет: '; “...МАТЕМАТИЧЕСКАЯ ЛОГИКА...”
Книги
Предварительный обзор
Предварительный обзор
Предварительный обзор
Добавить в Избранное
Сохранено в:
Значок книги
Исследование и разработка алгоритмов параллельного дедуктивного вывода на графовых структурах: автореферат диссертации на соискание ученой степени кандидата технических наук: 05.13.11 / Аверин Андрей Игоревич. - Москва, 2004. - 20 с.
Автор Аверин, А. И.
Предмет: '; “...МАТЕМАТИЧЕСКАЯ ЛОГИКА...”
Авторефераты диссертаций
Добавить в Избранное
Сохранено в:
Значок книги
Логика и дедуктивный вывод в логических моделях представления знаний: метод резолюций и стратегии резолюции: учебное пособие для всех форм обучения факультетов ФИТУ, КСиС и аспирантов / В. А. Иноземцев. - Минск : БГУИР, 2001. - 36 с.
Автор Иноземцев, В. А. (род. 1963)
Предмет: '; “...МАТЕМАТИЧЕСКАЯ ЛОГИКА...”
Книги
Добавить в Избранное
Сохранено в:
Значок книги
Построение взаимно однозначных преобразований на основе однотипных двоичных функций в связи с задачами защиты информации: автореферат диссертации на соискание ученой степени кандидата технических наук: 05.13.19 / Саранцев Алексей Васильевич. - Москва, 2010. - 25 с.
Автор Саранцев, А. В.
Предмет: '; “...МАТЕМАТИЧЕСКАЯ ЛОГИКА...”
Авторефераты диссертаций
Добавить в Избранное
Сохранено в:
Значок книги
Математическая логика: курс лекций и практических занятий: учебное пособие для студентов вузов, обучающихся по специальностям 220200 "Автоматизированные системы обработки информации и управления", 071900 "Информационные системы в технике и технологиях" / С. Д. Шапорев. - Санкт-Петербург : БХВ-Петербург, 2019. - VI, 410 с.
Автор Шапорев, С. Д.
Предмет: '; “...МАТЕМАТИЧЕСКАЯ ЛОГИКА...”
Книги
Предварительный обзор
Предварительный обзор
Предварительный обзор
Добавить в Избранное
Сохранено в:
Значок книги
Математическая логика и теория алгоритмов для программистов: учебное пособие для студентов высших учебных заведений, обучающихся по специальности "Программное обеспечение вычислительной техники и автоматизированных систем" направления подготовки "Информатика и вычислительная техника" / Д. В. Гринченков, С. И. Потоцкий. - Москва : КноРус, 2014. - 206 с. - (Бакалавриат)
Автор Гринченков, Д. В.
Предмет: '; “...МАТЕМАТИЧЕСКАЯ ЛОГИКА...”
Книги
Предварительный обзор
Предварительный обзор
Предварительный обзор
Добавить в Избранное
Сохранено в:
Значок книги
Трудные времена философии / Б. В. Бирюков. Кн. 8 : Виктор Иванович Шестаков : логика и техника, алгебра логики, контактные схемы : Первые успехи применения булевых алгебр в конструировании релейно-контактных схем / редакторы-составители: Б. В. Бирюков, И. С. Верстин. — Москва : URSS : Ленанд, 2019. — 209, [3] с. — (Наука в СССР: через тернии к звездам ; № 43)
Предмет: '; “...МАТЕМАТИЧЕСКАЯ ЛОГИКА...”
Книги
Предварительный обзор
Предварительный обзор
Предварительный обзор
Добавить в Избранное
Сохранено в:
Структура документа
Значок книги
Разработка и реализация алгоритма поиска вывода в расширении бесконечнозначной предикатной логики Лукасевича: автореферат диссертации на соискание ученой степени кандидата физико-математических наук: 05.13.11 / Герасимов Александр Сергеевич. - Санкт-Петербург, 2007. - 15 с.
Автор Герасимов, А. С.
Предмет: '; “...МАТЕМАТИЧЕСКАЯ ЛОГИКА...”
Авторефераты диссертаций
Добавить в Избранное
Сохранено в:
Значок книги
Квантовые вычисления для настоящих айтишников: [перевод с английского] / Крис Бернхард. - Санкт-Петербург [и др.] : Питер, Прогресс книга, 2020. - 238 с. - (Библиотека программиста)
Автор Бернхард, К.
Предмет: '; “...МАТЕМАТИЧЕСКАЯ ЛОГИКА...”
Книги
Предварительный обзор
Предварительный обзор
Предварительный обзор
Добавить в Избранное
Сохранено в:
Значок книги
Трудные времена философии / Б. В. Бирюков. Кн. 3 : Софья Александровна Яновская : время, события, идеи, личности. — Москва : URSS : Либроком, 2019. — 310 с. — (Наука в СССР: через тернии к звездам ; № 11)
Автор Бирюков, Б. В. (род. 1922)
Предмет: '; “...МАТЕМАТИЧЕСКАЯ ЛОГИКА...”
Книги
Предварительный обзор
Предварительный обзор
Предварительный обзор
Добавить в Избранное
Сохранено в:
Структура документа
Значок книги
Принципы универсального языка: (проблема Универсальной характеристики Лейбница): билингва: английский — русский / К. И. Бахтияров. - Москва : URSS, Ленанд, 2016. - 109 с. - (Relata Refero)
Автор Бахтияров, К. И. (род. 1934)
Предмет: '; “...МАТЕМАТИЧЕСКАЯ ЛОГИКА...”
Книги
Предварительный обзор
Предварительный обзор
Предварительный обзор
Добавить в Избранное
Сохранено в:
Значок книги
Методична система навчання студентів математичної логіки у вищих навчальних закладах з використанням інформаційних технологій: автореферат дисертації на здобуття наукового ступеня кандидата педагогічних наук: 13.00.02 / Сінько Юрій Іванович. - Херсон, 2009. - 20 с.
Автор Сінько, Ю. І.
Предмет: '; “...МАТЕМАТИЧЕСКАЯ ЛОГИКА логистика (мат.) символическая логика теоретическая логика...”
Авторефераты диссертаций
Добавить в Избранное
Сохранено в:
Значок книги
Дискретная математика: задачи и решения: учебно-практическое пособие / Г. И. Просветов. - 2-е изд., дополненное. - Москва : Альфа-Пресс, 2015. - 238, [1] с.
Автор Просветов, Г. И.
Предмет: '; “...МАТЕМАТИЧЕСКАЯ ЛОГИКА...”
Книги
Предварительный обзор
Предварительный обзор
Предварительный обзор
Добавить в Избранное
Сохранено в:
Значок книги
Дискретная математика: задачи и решения: учебно-практическое пособие / Г. И. Просветов. - 2-е изд., дополненное. - Москва : Альфа-Пресс, 2013. - 238, [1] с.
Автор Просветов, Г. И.
Предмет: '; “...МАТЕМАТИЧЕСКАЯ ЛОГИКА...”
Книги
Предварительный обзор
Предварительный обзор
Предварительный обзор
Добавить в Избранное
Сохранено в:
Значок книги
Дискретная математика: учебное пособие для студентов учреждений среднего профессионального образования / С. А. Канцедал. - Москва : Форум, Инфра-М, 2011. - 221 с. - (Профессиональное образование)
Автор Канцедал, С. А.
Предмет: '; “...МАТЕМАТИЧЕСКАЯ ЛОГИКА...”
Книги
Предварительный обзор
Предварительный обзор
Предварительный обзор
Добавить в Избранное
Сохранено в:
Значок книги
Интеллектуальные системы: основы теории нечетких множеств: учебное пособие для академического бакалавриата: для студентов высших учебных заведений, обучающихся по инженерно-техническим направлениям: по специальности "Прикладная информатика (по областям)" и другим экономическим специальностям / Д. М. Назаров, Л. К. Конышева. - 2-е изд., исправленное и дополненное. - Москва : Юрайт, 2018. - 200, [2] с. - (Бакалавр. Академический курс) (УМО ВО рекомендует) (УМО рекомендует) (Классика образования)
Автор Назаров, Д. М.
Предмет: '; “...МАТЕМАТИЧЕСКАЯ ЛОГИКА...”
Книги
Предварительный обзор
Предварительный обзор
Предварительный обзор
Добавить в Избранное
Сохранено в:
Значок книги
Путь в современную информатику / А. В. Ворожцов. - Изд. 2-е. - Москва : URSS, 2010. - 140, [2] с.
Автор Ворожцов, А. В.
Предмет: '; “...МАТЕМАТИЧЕСКАЯ ЛОГИКА...”
Книги
Предварительный обзор
Предварительный обзор
Предварительный обзор
Добавить в Избранное
Сохранено в:
Значок книги
Математика и информатика: решение логико-познавательных задач: учебное пособие для студентов высших учебных заведений / Н. В. Задохина. - Москва : Юнити-Дана, 2015. - 127 с.
Автор Задохина, Н. В.
Предмет: '; “...МАТЕМАТИЧЕСКАЯ ЛОГИКА...”
Книги
Предварительный обзор
Предварительный обзор
Предварительный обзор
Добавить в Избранное
Сохранено в:
Значок книги
Основы математической обработки информации: учебное пособие / Мирзоев Махмашариф Сайфович. - Москва : Прометей, 2016. - 315 с.
Автор Мирзоев, М. С.
Предмет: '; “...МАТЕМАТИЧЕСКАЯ ЛОГИКА...”
Книги
Предварительный обзор
Предварительный обзор
Предварительный обзор
Добавить в Избранное
Сохранено в:
   Выбранные записи:
  • [1]
  • « Пред.
  • 33
  • 34
  • 35
  • 36
  • 37
  • 38
  • 39
  • 40
  • 41
  • 42
  • 43
  • Следующий »
  • [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 Испанский см. все ... меньше ...
Дата издания

Опции поиска

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

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

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