36 results Пропуск в контексте
Электронный каталог
Национальной библиотеки
Беларуси
  • Вход
  • Язык
    • Русский
    • Белорусский
    • English
    • Deutsch
    • Español
    • Français
    • 中文(繁體)
    • Polski
Расширенный поиск
Расширенный поиск
  • Поиск:
Отображение 1 - 20 из 36 для поиска: '', время запроса: 0.40сек.
   Выбранные записи:
Значок книги
Логика без экзистенциальных предпосылок / Ю. Г. Гладких. - Москва : Издательство Московского государственного университета, 2006. - 124, [2] с., [1] л. портр.
Автор Гладких, Ю. Г. (1938—1999)
Книги
Предварительный обзор
Предварительный обзор
Предварительный обзор
Добавить в Избранное
Сохранено в:
Значок книги
Вовеки неразрешимо: головоломное руководство по Геделю / Реймонд Смаллиан. - Москва : Лори, 2018. - 311 с.
Автор Смаллиан, Р. (род. 1919)
Книги
Предварительный обзор
Предварительный обзор
Предварительный обзор
Добавить в Избранное
Сохранено в:
Значок книги
Лекции по математике / В. Босс. Т. 6 : От Диофанта до Тьюринга. — 2006. — 205 с.
Книги
Предварительный обзор
Предварительный обзор
Предварительный обзор
Добавить в Избранное
Сохранено в:
Структура документа
Значок книги
О пропозициональных исчислениях, представлющих понятие доказуемости: автореферат диссертации на соискание ученой степени кандидата физико-математических наук: специальность 01.01.06 Математическая логика, алгебра и теория чисел / Дашков Евгений Владимирович. - Москва, 2012. - 15 с.
Автор Дашков, Е. В. (род. 1986)
Авторефераты диссертаций
Добавить в Избранное
Сохранено в:
Значок книги
Лекции по математике / В. Босс. Т. 6 : Алгоритмы, логика, вычислимость. От Диофанта до Тьюринга и Гёделя. — 2015. — 207 с.
Автор Опойцев, В. И. (род. 1944)
Книги
Предварительный обзор
Предварительный обзор
Предварительный обзор
Добавить в Избранное
Сохранено в:
Структура документа
Значок книги
Юридическое познание (некоторые методологические, теоретические и праксеологические аспекты): монография / Ю. П. Боруленков. - Москва : Юрлитинформ, 2014. - 391 с. - (Теория и история государства и права)
Автор Боруленков, Ю. П. (род. 1961)
Книги
Предварительный обзор
Предварительный обзор
Предварительный обзор
Добавить в Избранное
Сохранено в:
Значок книги
Логические исследования / Российская академия наук, Институт философии]. Вып. 3 / [Редкол.: В. А. Смирнов (отв. ред.) и др.]. — 1995. — 359 с.
Книги
Предварительный обзор
Предварительный обзор
Предварительный обзор
Добавить в Избранное
Сохранено в:
Структура документа
Значок книги
Предикаты доказуемости и связанные с ними алгебры: автореферат диссертации на соискание ученой степени кандидата физико-математических наук: специальность 01.01.06 Математическая логика, алгебра и теория чисел / Колмаков Евгений Александрович. - Москва, 2021. - 23 с.
Автор Колмаков, Е. А.
Авторефераты диссертаций
Добавить в Избранное
Сохранено в:
Значок книги
Критерии выбора методов обучения доказательству теорем курса геометрии основной школы: автореферат диссертации на соискание ученой степени кандидата педагогических наук: специальность 13.00.02 Теория и методика обучения и воспитания / Шалина Ольга Николаевна. - Саранск, 2012. - 23 с.
Автор Шалина, О. Н.
Авторефераты диссертаций
Добавить в Избранное
Сохранено в:
Значок книги
Справочная книга по математической логике / под редакцией Дж. Барвайса / Handbook of mathematical logic. Ч. 4 : Теория доказательств и конструктивная математика / [К. Сморинский и др.]. — 1983. — 391 с.
Книги
Добавить в Избранное
Сохранено в:
Структура документа
Значок книги
Сложность пропозициональных систем доказательств, оперирующих неравенствами: автореферат диссертации на соискание ученой степени кандидата физико-математических наук: 01.01.06 / Кожевников Арист Александрович. - Санкт-Петербург, 2007. - 15 с.
Автор Кожевников, А. А.
Авторефераты диссертаций
Добавить в Избранное
Сохранено в:
Значок книги
Конструктивная теория доказательств и нестандартный анализ: сборник / А.Г.Драгалин. - Москва : Едиториал УРСС, 2003. - 543 с.
Автор Драгалин, А. Г. (1941—1998)
Книги
Предварительный обзор
Предварительный обзор
Предварительный обзор
Добавить в Избранное
Сохранено в:
Значок книги
Обучение математическим доказательствам и опровержениям в школе / Г.И.Саранцев. - Москва : Владос, 2005. - 181, [2] с. - (Библиотека учителя математики)
Автор Саранцев, Г. И. (1938—2019)
Книги
Предварительный обзор
Предварительный обзор
Предварительный обзор
Добавить в Избранное
Сохранено в:
Значок книги
Теоретические основы поисково-познавательной деятельности субъектов доказывания при принятии ими процессуально значимых решений / Рубис А. С. // Право.by : научно-практический журнал / учредитель Национальный центр правовой информации Республики Беларусь, Кафедра ЮНЕСКО по информационным технологиям и праву. — 2022. ― № 5. ― С. 62―69
Автор Рубис, А. С. (род. 1956)
Статьи
Добавить в Избранное
Сохранено в:
Структура документа
Значок книги
Новые конструкции криптографических примитивов, основанные на полугруппах, группах и линейной алгебре: автореферат диссертации на соискание ученой степени кандидата физико-математических наук: 01.01.06 / Николенко Сергей Игоревич. - Санкт-Петербург, 2008. - 16 с.
Автор Николенко, С. И.
Авторефераты диссертаций
Добавить в Избранное
Сохранено в:
Значок книги
Оценки сложности вывода в системах доказательств, основанных на методе резолюций: автореферат диссертации на соискание ученой степени кандидата физико-математических наук: специальность 01.01.06 Математическая логика, алгебра и теория чисел / Опарин Всеволод Владиславович. - Санкт-Петербург, 2016. - 17 с.
Автор Опарин, В. В.
Авторефераты диссертаций
Добавить в Избранное
Сохранено в:
Значок книги
Нижние оценки и вопросы оптимальности для систем доказательств: автореферат диссертации на соискание ученой степени доктора физико-математических наук: специальность 01.01.06 Математическая логика, алгебра и теория чисел / Ицыксон Дмитрий Михайлович. - Санкт-Петербург, 2022. - 31 с., включая обложку
Автор Ицыксон, Д. М.
Авторефераты диссертаций
Добавить в Избранное
Сохранено в:
Значок книги
Сложность в среднем случае вероятностных вычислений с ограниченной ошибкой: автореферат диссертации на соискание ученой степени кандидата физико-математических наук: 01.01.06 / Ицыксон Дмитрий Михайлович. - Санкт-Петербург, 2009. - 16 с.
Автор Ицыксон, Д. М.
Авторефераты диссертаций
Добавить в Избранное
Сохранено в:
Значок книги
Основы теории доказательств в современном уголовном судопроизводстве: учебное пособие для студентов высших и средних юридических образовательных учреждений / Е. А. Артамонова. - Москва : Юрлитинформ, 2010. - 165, [1] с.
Автор Артамонова, Е. А.
Книги
Предварительный обзор
Предварительный обзор
Предварительный обзор
Добавить в Избранное
Сохранено в:
Значок книги
Теоретические основы доказывания при исполнении итоговых судебных решений в уголовном процессе России: монография / В. И. Качалов. - Москва : Юрлитинформ, 2017. - 156, [2] с. - (Уголовный процесс)
Автор Качалов, В. И.
Книги
Предварительный обзор
Предварительный обзор
Предварительный обзор
Добавить в Избранное
Сохранено в:
   Выбранные записи:
  • 1
  • 2
  • Следующий »
  • [2]
Инструменты поиска: RSS-поток — Отправить результаты поиска по Email — Сохранить запрос

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

Вид документа
25 Книги 9 Авторефераты диссертаций 2 Статьи см. все ...
Автор/Создатель
3 Опойцев, В. И. (род. 1944) 2 Ицыксон, Д. М. 2 Столяр, А. А. (1919—1993) 1 Артамонова, Е. А. 1 Боруленков, Ю. П. (род. 1961) 1 Гладких, Ю. Г. (1938—1999) больше ... 1 Дашков, Е. В. (род. 1986) 1 Довгун, С. И. (род. 1961) 1 Драгалин, А. Г. (1941—1998) 1 Жиряев, А. С. (1815—1856) 1 Зубарев, А. А. 1 Качалов, В. И. 1 Кожевников, А. А. 1 Колмаков, Е. А. 1 Колмогоров, А. Н. (1903—1987) 1 Коэн, П. Дж. 1 Молчанов, В. В. 1 Николенко, С. И. 1 Опарин, В. В. 1 Орлов, Ю. К. (род. 1937) 1 Павлов, В. А. 1 Рубис, А. С. (род. 1956) 1 Саранцев, Г. И. (1938—2019) 1 Смаллиан, Р. (род. 1919) 1 Треушников, М. К. (1938—2021) 1 Шалина, О. Н. см. все ... меньше ...
Предмет
ДОКАЗАТЕЛЬСТВ ТЕОРИЯ 13 МАТЕМАТИЧЕСКАЯ ЛОГИКА 9 УГОЛОВНЫЙ ПРОЦЕСС 6 ДОКАЗЫВАНИЕ 6 Российская Федерация 5 ВЫЧИСЛИМОСТИ ТЕОРИЯ больше ... 5 ДОКАЗАТЕЛЬСТВА (юрид.) 4 ГРАЖДАНСКИЙ ПРОЦЕСС 4 МАТЕМАТИКА 4 МНОЖЕСТВ ТЕОРИЯ 3 ДОКАЗАЎ ТЭОРЫЯ 3 МОДАЛЬНАЯ ЛОГИКА 3 МОДЕЛЕЙ ТЕОРИЯ 3 ОСНОВАНИЯ МАТЕМАТИКИ 3 ПРАВА ТЕОРИЯ 3 СЛОЖНОСТЬ (мат.) 2 АКСИОМАТИЧЕСКАЯ ТЕОРИЯ МНОЖЕСТВ 2 АЛГОРИТМОВ ТЕОРИЯ 2 АТТРАКТОРЫ 2 БЕСКОНЕЧНОСТЬ (мат.) 2 БИФУРКАЦИИ (мат., физ.) 2 Беларусь, Республика 2 ИНТУИЦИОНИЗМ 2 КОНСТРУКТИВНАЯ МАТЕМАТИКА 2 КРИПТОГРАФИЧЕСКИЕ ПРИМИТИВЫ 2 ЛОГИКА 2 ПРОСТРАНСТВО — ВРЕМЯ 2 СУДОПРОИЗВОДСТВО 2 УГОЛОВНЫЕ ДЕЛА 1 19 ВЕК см. все ... меньше ...
Жанр
7 УЧЕБНОЕ ПОСОБИЕ ДЛЯ ВУЗОВ 2 КУРС ЛЕКЦИЙ 2 УЧЕБНО-МЕТОДИЧЕСКОЕ ПОСОБИЕ ДЛЯ УЧИТЕЛЕЙ СРЕДНЕЙ ШКОЛЫ 1 НАВУЧАЛЬНА-МЕТАДЫЧНЫ ДАПАМОЖНІК ДЛЯ НАСТАЎНІКАЎ СЯРЭДНЯЙ ШКОЛЫ 1 УГОЛОВНО-ПРОЦЕССУАЛЬНЫЙ КОДЕКС 1 ХРЕСТОМАТИЯ см. все ...
Серия
3 Уголовный процесс 1 Res cottidiana 1 Библиотека учителя математики 1 Классический университетский учебник 1 Серия "Русское юридическое наследие" 1 Теория и история государства и права больше ... 1 Физико-математическое наследие см. все ... меньше ...
Место публикации
21 Москва 6 Санкт-Петербург 2 Минск 1 Саранск см. все ...
Язык
36 Русский 4 Английский см. все ...
Дата издания

Опции поиска

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

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

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