850 results Пропуск в контексте
Электронный каталог
Национальной библиотеки
Беларуси
  • Вход
  • Язык
    • Русский
    • Белорусский
    • English
    • Deutsch
    • Español
    • Français
    • 中文(繁體)
    • Polski
Расширенный поиск
Расширенный поиск
  • Поиск: "МАТЕМАТИЧЕСКАЯ ЛОГИКА"
Отображение 701 - 720 из 850 для поиска: '"МАТЕМАТИЧЕСКАЯ ЛОГИКА"', время запроса: 0.54сек.
   Выбранные записи:
Значок книги
Логическая подготовка учителя начальных классов к обучению математике: Автореф. дис. на соиск. учен. степ. канд. пед. наук: 13.00.02 / Мин. гос. пед. ин-т им. А.М.Горького. - Мн., 1988. - 18 с.
Автор Лещенко, Л. В. (1956—2023)
Предмет: '; “...МАТЕМАТИЧЕСКАЯ ЛОГИКА...”
E-документ
Авторефераты диссертаций
Добавить в Избранное
Сохранено в:
Значок книги
Треугольные произведения и стабильность представлений: Автореф. дис. на соиск. учен. степ. канд. физ.-мат. наук: 01.01.06: 11.05.1979 / Кальюлайд Уно Эльмарович. - Мн., 1979. - 13 с.
Автор Кальюлайд, У. Э.
Предмет: '; “...МАТЕМАТИЧЕСКАЯ ЛОГИКА...”
E-документ
Авторефераты диссертаций
Добавить в Избранное
Сохранено в:
Значок книги
Элементы дискретной математики: учебно-методическое пособие по высшей математике для специальности Т.10.02.00 ― "Программное обеспечение информационных технологий" / В. И. Каскевич, А. П. Побегайло, В. А. Янцевич. - Минск : БГПА, 1998. - 57, [1] с.
Автор Каскевич, В. И. (род. 1960)
Предмет: '; “...МАТЕМАТИЧЕСКАЯ ЛОГИКА...”
Книги
Добавить в Избранное
Сохранено в:
Значок книги
Алгоритмы решения логико-комбинаторных задач: (сборник научных трудов) / Академия наук Белорусской ССР, Институт технической кибернетики. - Минск : [б. и.], 1979. - 137, [1] с.
Предмет: '; “...МАТЕМАТИЧЕСКАЯ ЛОГИКА...”
Книги
Добавить в Избранное
Сохранено в:
Значок книги
Математизация познания и социальный прогресс: пособие для высших учебных заведений по специальности "Математика" / П. В. Кикель. - Минск : БГПУ, 2001. - 199 с.
Автор Кикель, П. В. (род. 1944)
Предмет: '; “...МАТЕМАТИЧЕСКАЯ ЛОГИКА...”
Книги
Предварительный обзор
Предварительный обзор
Предварительный обзор
Добавить в Избранное
Сохранено в:
Значок книги
Кольца характеров представлений конечно порожденных групп и их применение в комбинаторной теории групп: диссертация на соискание ученой степени кандидата физико-математических наук: защищена 30.08.04: утверждена 13.10.04: 01.01.06 / Баркович Оксана Аркадьевна. - Минск, 2004. - 92 л.
Автор Баркович, О. А.
Предмет: '; “...МАТЕМАТИЧЕСКАЯ ЛОГИКА...”
E-документ
Диссертации
Добавить в Избранное
Сохранено в:
Значок книги
Наследственное описание многосортных теорий / В. П. Макаров. - Минск : Вычислительный центр АН БССР, 1991. - 10, [1] с. - (Препринт ; № 3 (3))
Автор Макаров, В. П.
Предмет: '; “...МАТЕМАТИЧЕСКАЯ ЛОГИКА...”
Книги
Добавить в Избранное
Сохранено в:
Значок книги
Дискретный анализ: учебное пособие / Ю. В. Лихуто, В. Н. Семенчук. - Гомель : ГГУ, 1982. - 54 с.
Автор Лихуто, Ю. В. (род. 1947)
Предмет: '; “...МАТЕМАТИЧЕСКАЯ ЛОГИКА...”
Книги
Добавить в Избранное
Сохранено в:
Значок книги
Architektonika świata / Benedykt Bornstein. T. 1 : Prolegomena do architektoniki świata. — 1934. — 211 s.
Предмет: '; “...МАТЕМАТИЧЕСКАЯ ЛОГИКА логистика (мат.) символическая логика теоретическая логика...”
Книги
Добавить в Избранное
Сохранено в:
Структура документа
Значок книги
Творческое сознание: интуиционизм, алгоритмы и модели / В. Н. Щеглов. - Тула : Гриф и К, 2004. - 200, [1] с., включая обложку
Автор Щеглов, В. Н. (род. 1932)
Предмет: '; “...МАТЕМАТИЧЕСКАЯ ЛОГИКА...”
Книги
Предварительный обзор
Предварительный обзор
Предварительный обзор
Добавить в Избранное
Сохранено в:
Значок книги
Русская логика — индикатор интеллекта: азбука математической логики / Владимир Лобанов. - Москва : Русская правда, 2012. - 315 с.
Автор Лобанов, В. И. (род. 1940)
Предмет: '; “...МАТЕМАТИЧЕСКАЯ ЛОГИКА...”
Книги
Предварительный обзор
Предварительный обзор
Предварительный обзор
Добавить в Избранное
Сохранено в:
Значок книги
Алгебра логики / Л. Кутюра. - Изд. 2-е. - Москва : URSS, Либроком, 2012. - 117 с. - (Физико-математическое наследие. Математика)
Автор Кутюра, Луи
Предмет: '; “...МАТЕМАТИЧЕСКАЯ ЛОГИКА...”
Книги
Предварительный обзор
Предварительный обзор
Предварительный обзор
Добавить в Избранное
Сохранено в:
Значок книги
Конструктивные семантики логических языков, основанные на обобщенной вычислимости: автореферат диссертации на соискание ученой степени кандидата физико-математических наук: специальность 01.01.06 Математическая логика, алгебра и теория чисел / Коновалов Александр Юрьевич. - Москва, 2017. - 16 с.
Автор Коновалов, А. Ю.
Предмет: '; “...МАТЕМАТИЧЕСКАЯ ЛОГИКА...”
Авторефераты диссертаций
Добавить в Избранное
Сохранено в:
Значок книги
О сложности функций k-значной логики в классе поляризованных полиномов: автореферат диссертации на соискание ученой степени кандидата физико-математических наук: специальность 01.01.09 Дискретная математика и математическая кибернетика / Маркелов Николай Константинович. - Москва, 2013. - 12, [1] с.
Автор Маркелов, Н. К.
Предмет: '; “...МАТЕМАТИЧЕСКАЯ ЛОГИКА...”
Авторефераты диссертаций
Добавить в Избранное
Сохранено в:
Значок книги
Механизм становления материи в учении Гегеля о бытии / Ю. Н. Карандашев. - Бельско-Бяла : ADDENDIUM, 2017. - 260 c., 1 л. табл.
Автор Карандашев, Ю. Н. (род. 1947)
Предмет: '; “...МАТЕМАТИЧЕСКАЯ ЛОГИКА...”
Книги
Предварительный обзор
Предварительный обзор
Предварительный обзор
Добавить в Избранное
Сохранено в:
Значок книги
Хорошие кольца формальных матриц, автоморфизмы алгебр формальных матриц и системы формальных уравнений: автореферат диссертации на соискание ученой степени кандидата физико-математических наук: специальность 01.01.06 Математическая логика, алгебра и теория чисел / Норбосамбуев Цырендоржи Дашацыренович. - Томск, 2018. - 16 с.
Автор Норбосамбуев, Ц. Д.
Предмет: '; “...МАТЕМАТИЧЕСКАЯ ЛОГИКА...”
Авторефераты диссертаций
Добавить в Избранное
Сохранено в:
Значок книги
Распределение нулей дзета-функции Римана на очень коротких промежутках критической прямой: автореферат диссертации на соискание ученой степени кандидата физико-математических наук: специальность 01.01.06 Математическая логика, алгебра и теория чисел / До Дык Там. - Москва, 2018. - 13, [1] с.
Автор До Дык Там
Предмет: '; “...МАТЕМАТИЧЕСКАЯ ЛОГИКА...”
Авторефераты диссертаций
Добавить в Избранное
Сохранено в:
Значок книги
Логический анализ систем на основе алгебраического подхода: автореферат диссертации на соискание ученой степени доктора физико-математических наук: 05.13.01 / Кулик Борис Александрович. - Санкт-Петербург, 2008. - 32 с.
Автор Кулик, Б. А.
Предмет: '; “...МАТЕМАТИЧЕСКАЯ ЛОГИКА...”
Авторефераты диссертаций
Добавить в Избранное
Сохранено в:
Значок книги
Лекции по математике / В. Босс. Т. 6 : Алгоритмы, логика, вычислимость. От Диофанта до Тьюринга и Гёделя. — 2015. — 207 с.
Автор Опойцев, В. И. (род. 1944)
Предмет: '; “...МАТЕМАТИЧЕСКАЯ ЛОГИКА...”
Книги
Предварительный обзор
Предварительный обзор
Предварительный обзор
Добавить в Избранное
Сохранено в:
Структура документа
Значок книги
Лекции по математической логике и теории алгоритмов / Н. К. Верещагин, А. Шень. [Ч. 2] : Языки и исчисления. — 240 с.
Автор Верещагин, Н. К. (род. 1958)
Предмет: '; “...МАТЕМАТИЧЕСКАЯ ЛОГИКА...”
Книги
Предварительный обзор
Предварительный обзор
Предварительный обзор
Добавить в Избранное
Сохранено в:
Структура документа
   Выбранные записи:
  • [1]
  • « Пред.
  • 31
  • 32
  • 33
  • 34
  • 35
  • 36
  • 37
  • 38
  • 39
  • 40
  • 41
  • Следующий »
  • [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 Испанский см. все ... меньше ...
Дата издания

Опции поиска

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

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

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