Главная Упрощенный режим

Базы данных


Основная библиотечная БД - результаты поиска

Вид поиска
Основная библиотечная БД
Труды учёных ПГНИУ
Диссертации
Журналы
Рациональное природопользование
Иностранная периодика
Дореволюционная периодика
Библиотека юридичеcкого факультета (статьи)
Туризм
История Пермского университета
Продолжающиеся издания
Музейный книжный фонд
Область поиска
в найденном
 Найдено в других БД:Труды учёных ПГНИУ (10)
Формат представления найденных документов:
полныйинформационный краткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>R=27.03$<.>)
Общее количество найденных документов : 91
Показаны документы с 1 по 20
 1-20    21-40   41-60   61-80      
1.

Lacatos I. Proofs and refutations: the logic of mathematical discovery/I. Lakatos ; ed.: J. Worrall, E. Zahar. - 1999
2.

Математическая логика, математическая лингвистика и теория алгоритмов/М-во высш. и сред. спец. образования РСФСР, Калинин. гос. ун-т. - 1983
3.

Харин Н. Н. Математическая логика и теория множеств (О соотношении абстрактного и конкретного)/Н. Н. Харин ; ред. Я. Л. Харапинский. - 1963
4.

Mathematics of the 19th century. Vol. 1:Mathematical logic. Algebra. Number theory. Probability theory /transl.: A. Shenitzer, H. Grant, O. B. Sheinin. - 2001
5.

Петер Р. Игра с бесконечностью/Р. Петер ; пер. с нем.: В. Кисунько. - 1967
6.

Александров П. С. Введение в теорию множеств и общую топологию/П. С. Александров. - 2010
7.

Чечулин В. Л. Теория множеств с самопринадлежностью (основания и некоторые приложения)/В. Л. Чечулин. - 2012
8.

Такеути Г. Теория доказательств/Г. Такеути ; пер. с англ. С. К. Соболева под ред. С. И. Адяна. - 1978
9.

Математическая теория логического вывода/под ред. А. В. Идельсона и Г. Е. Минца. - 1967
10.

Математическая логика в программировании/под ред. М. В. Захарьящева, Ю. И. Янова. - 1991
11.

Гринченков Д. В. Математическая логика и теория алгоритмов для программистов/Д. В. Гринченков, С. И. Потоцкий. - 2010
12.

Александров П. С. Введение в теорию множеств и общую топологию/П. С. Александров. - 2009
13.

Письменный Д. Т. Конспект лекций по высшей математике/Д. Т. Письменный. - 2009
14.

Эдельман С. Л. Математическая логика/С. Л. Эдельман. - 1975
15.

Щегольков Е. А. Упражнения и задачи по курсу математической логики/Е. А. Щегольков. - 1971
16.

Алгоритмы и программы решения задач на графах и сетях/Академия наук СССР. Сибирское отделение, Вычислительный центр. - 1990
17.

Koch S. Mathematik - kurz gefaBt/S. Koch. - 1991
18.

Алгоритмы решения логико-комбинаторных задач/Академия наук Белорусской ССР, Институт технической кибернетики. - 1979
19.

Algebra logike/V. B. Kudrjavcev. - 2010
20.

Алгоритмы решения логико-комбинаторных задач/ред. А. Д. Закревский. - 1980
 1-20    21-40   41-60   61-80      
 
Стандартный
Расширенный
Профессиональный
Распределенный
По словарю
ГРНТИ-навигатор
УДК-навигатор
ББК-навигатор
Тематический навигатор
Статистика обращений
Статистика
за 09.07.2024
Число запросов 649
Число посетителей 195
Число заказов 0
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)