| начало | написать нам | в избранное | сделать стартовой |
ДЛЯ РАБОТЫ С БАЗАМИ ОГРАНИЧЕННОГО ДОСТУПА ТРЕБУЕТСЯ АВТОРИЗАЦИЯ
ДАННАЯ ВЕРСИЯ СИСТЕМЫ НЕ ПОДДЕРЖИВАЕТСЯ!!! БАЗЫ НЕ ОБНОВЛЯЮТСЯ!!! ПОЛЬЗУЙТЕСЬ НОВОЙ ВЕРСИЕЙ ПОИСКОВОЙ СИСТЕМЫ!!! >>>

Базы данных


Электронный каталог - результаты поиска

Виды поиска
Электронный каталог
ЭБС "ЛАНЬ"
ЭБС "ZNANIUM.com" (ИД "ИНФРА-М")
ЭБС "ЮРАЙТ"
ЭБС "АЙБУКС"
ЭБС "РУКОНТ"
ЭБС "IPRBOOKS"
ЭБС "BOOK.ru"
Электронная библиотека
Известные деятели культуры в Саратовской губернии
Работы В. А. Артисевич и литература о ней
Издания вузовских библиотек Среднего и Нижнего Поволжья
Публикации учёных СГУ
Краеведческий обзор
Поступления журналов в ЗНБ СГУ
БД коллекций в фонде ЗНБ СГУ
БД выпускных квалификационных работ
Сводный каталог библиотек (СГУ, СГТУ, ЦБС)
Область поиска
в найденном
В текущей базе данных найдено документов :125
 В других БД по вашему запросу найдено:ЭБС "ЛАНЬ" (9)Публикации учёных СГУ (3)Сводный каталог библиотек (СГУ, СГТУ, ЦБС) (260)
Формат представления найденных документов:
полныйинформационный краткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>KL=математическая логика<.>)
Общее количество найденных документов : 125
Показаны документы с 1 по 20
 1-20    21-40   41-60   61-80   81-100   101-120      
1.

Александрова Р. А. Элементы теории множеств и математической логики/Р. А. Александрова, А. М. Потапова ; . - 1997
2.

Гамова А. Н. Формальная логика/А. Н. Гамова. - 2003
3.

Гамова А. Н. Формальная логика/А. Н. Гамова. - 2001
4.

Упражнения по теории множеств и логике/Г. В. Дюдяева [и др.] ; ред. П. М. Зиновьев. - 2005
5.

Успенский, Владимир Андреевич Труды по нематематике с приложением семиотических посланий А. Н. Колмогорова к автору и его друзьям. Т. 1. - 2002
6.

Сибирский конгресс по прикладной и индустриальной математике (ИНПРИМ-98) (3; Новосибирск) Третий сибирский конгресс по прикладной и индустриальной математике (ИНПРИМ-98), посвященный памяти С. Л. Соболева (1908-1989). Ч. 5. - 1998
7.

Игошин В. И. Тетрадь по математической логике/В. И. Игошин. - 2010
8.

Теория моделей и алгебраическая геометрия. О доказательстве Э. Хрущовского гипотезы Морделла - Ленга/под ред. Э. Бускаран ; пер. с англ. Б. Р. Френкина под ред. В. Б. Шехтмана, И. В. Артамкина. - 2008
9.

Справочная книга по математической логике: В 4 ч.. Ч. 3:Теория рекурсии: Пер. с англ. / Под ред. Ершова Ю. Л.. - 1982
10.

Справочная книга по математической логике: В 4 ч.. Ч. 1:Теория моделей: Пер. с англ. / Под ред. Ершова Ю. Л. и др.. - 1982
11.

Справочная книга по математической логике: В 4 ч.. Ч. 2:Теория множеств: Пер. с англ. / Под ред. Гришина В. Н.. - 1982
12.

Монастырский М. И. Современная математика в отблеске медалей Филдса/М. И. Монастырский. - 2000
13.

Гамова А. Н. Сложность вычислений/А. Н. Гамова. - 2015
14.

Символическая логика/С.-Петерб. гос. ун-т. - 2005
15.

Игошин В. И. Сборник задач по математической логике и теории алгоритмов/В. И. Игошин. - 2017
16.

Коваленко С. И. Решение задач математической логики с использованием элементарной алгебры/С. И. Коваленко. - 2004
17.

Волгин Л. И. Реляторные процессоры на основе графа Паскаля для адресно-ранговой идентификации, селекции и ранжирования аналоговых сигналов/Л. И. Волгин. - 2000
18.

Лавров С. С. Программирование. Математические основы, средства, теория/С. С. Лавров ; гл. ред. Е. Кондукова. - 2001
19.

Попов С. В. Прикладная логика/С. В. Попов, Н. В. Брошкова. - 2011
20.

Непейвода Н. Н. Прикладная логика/Н. Н. Непейвода ; . - 1997
 1-20    21-40   41-60   61-80   81-100   101-120      
 
Стандартный (по одному полю)
По словарю (по одному полю)
Профессиональный (по нескольким полям со словарями)
Распределенный (г. Саратов)
Расширенный
Авторизация
Фамилия
Пароль
 
Заявка на регистрацию в ЭБС

Возникли проблемы? Пишите на oma@info.sgu.ru
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)