Авторизация
Фамилия
Пароль
Электронный каталог
Научной библиотеки ВСГУТУ
Базы данных
Книги- результаты поиска
Вид поиска
Книги
Статьи
Электронные издания ВСГУТУ
Статьи преподавателей ВСГУТУ
Вестник ВСГУТУ
Материалы конференций ВСГУТУ
Диссертации
Авторефераты
ГОСТЫ
Статьи о Бурятии
Выберите поиск:
Ключевые слова
Автор
Заглавие
Год издания
Что искать:
Формат представления найденных документов:
полный
информационный
краткий
Отсортировать найденные документы по:
автору
заглавию
году издания
типу документа
Поисковый запрос:
(<.>K=математические теории<.>)
Общее количество найденных документов
:
3
Показаны документы
с 1 по 3
>
1.
51
Л656
Лихтарников, Леонид Моисеевич
.
Математическая
логика : Курс лекций. Задачник-практикум. Решения: учеб. пособие для вузов / Л.М. Лихтарников, Т.Г. Сукачева. - Изд. 3-е, испр. - СПб. : Лань, 2008. - 276 с. - (Учебники для вузов. Cпециальная литература). -
ISBN
978-5-8114-0082-9 : 339.22 р.
ГРНТИ
27.03.19
УДК
510.6(075.8)
Рубрики:
Математическая
логика--Учебные пособия
Кл.слова (ненормированные):
математическая
логика
--
алгебра логики
--
исчисление высказываний
--
логика предикатов
--
математические
теории
--
алгоритмы
--
учебные пособия
Доп.точки доступа:
Сукачева, Тамара Геннадьевна
Учебная литература:
ЭтФ / СИ / 02.03.03 /
Математическая
логика / 3 / Доп
ЭтФ / СИ / 09.03.04 /
Математическая
логика 1 / 1 / Осн
ЭтФ / ТК / 09.02.03 9кл / Элементы
математической
логики / 4 / Осн
ЭтФ / ТК / 09.02.03 9кл / Элементы
математической
логики / 3 / Осн
ЭтФ / ТК / 09.02.02 9кл / Элементы
математической
логики / 4 / Осн
ЭтФ / ТК / 09.02.02 9кл / Элементы
математической
логики / 3 / Осн
ЭтФ / ТК / 09.02.03 11кл / Элементы
математической
логики / 2 / Осн
ЭтФ / ТК / 09.02.03 11кл / Элементы
математической
логики / 1 / Осн
ЭтФ / ТК / 09.02.02 11кл / Элементы
математической
логики / 2 / Осн
ЭтФ / ТК / 09.02.02 11кл / Элементы
математической
логики / 1 / Осн
Экземпляры всего:
5
чз (2), зал ППС (1), аб (2)
Свободны:
чз (2), зал ППС (1), аб (2)
Найти похожие
>
2.
51
Л656
Лихтарников, Леонид Моисеевич
.
Математическая
логика. Курс лекций. Задачник-практикум и решения : Учеб. пособие [для вузов] / Л.М. Лихтарников, Т.Г. Сукачева. - Изд. 4-е, стер. - СПб. : Лань, 2009. - 276 с. : ил. - (Учебники для вузов. Cпециальная литература). -
ISBN
978-5-8114-0082-9 : 353.10 р.
ГРНТИ
27.03.19
УДК
510.6(075.8)
Рубрики:
Математическая
логика--Практикумы--Учебные пособия
Кл.слова (ненормированные):
математическая
логика
--
алгебра логики
--
исчисление высказываний
--
логика предметов
--
математические
теории
--
алгоритмы
--
практикумы
--
курсы лекций
--
учебные пособия
Доп.точки доступа:
Сукачева, Тамара Геннадьевна
Учебная литература:
ЭтФ / ТК / 09.02.02 11кл / Элементы
математической
логики / 1 / Осн
ЭтФ / ТК / 09.02.03 11кл / Элементы
математической
логики / 1 / Осн
ЭтФ / ТК / 09.02.02 11кл / Элементы
математической
логики / 2 / Осн
ЭтФ / ТК / 09.02.03 11кл / Элементы
математической
логики / 2 / Осн
ЭтФ / СИ / 02.03.03 /
Математическая
логика / 3 / Осн
ЭтФ / ЭВС / 11.05.01 /
Математическая
логика и
теория
графов / 3 / Доп
ЭтФ / ТК / 09.02.02 9кл / Элементы
математической
логики / 3 / Осн
ЭтФ / ТК / 09.02.03 9кл / Элементы
математической
логики / 3 / Осн
ЭтФ / ТК / 09.02.02 9кл / Элементы
математической
логики / 4 / Осн
ЭтФ / ТК / 09.02.03 9кл / Элементы
математической
логики / 4 / Осн
Экземпляры всего:
2
аб (2)
Свободны:
аб (1)
Найти похожие
>
3.
57
М545
Методы современной биометрии
: научное издание / Моск. о-во испытателей природы. - Москва : Издательство МГУ, 1978. - 208 с. : 1.80. - 1.80 р.
ГРНТИ
34
УДК
57.08
Рубрики:
Биология--Биометрические методы
Кл.слова (ненормированные):
Биометрия
--
История биометрии
--
Биометрические методы
--
Математические
теории
--
Биологическая практика
Доп.точки доступа:
Московское общество испытателей природы
Экземпляры всего:
1
кх (1)
Свободны:
кх (1)
Найти похожие
полный формат
краткий формат
все найденные
отмеченные
кроме отмеченных
Стандартный
Расширенный
Профессиональный
Распределенный
По словарю
ГРНТИ-навигатор
УДК-навигатор
ББК-навигатор
Тематический навигатор
ссылка на мобильную версию электронного каталога