Научная библиотека ВСГУТУ

   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)
Найти похожие

   519.1
   Т985

    Тюрин, Сергей Феофентович.
    Дискретная математика: Практическая дискретная математика и математическая логика : Учеб. пособие для вузов по напр. подготовки дипломир. спец. 210440 - Телекоммуникации / С.Ф. Тюрин, Ю.А. Аляев. - М. : Финансы и статистика, ИНФРА-М, 2010. - 382 с. : ил. - ISBN 978-5-279-03463-5. - ISBN 978-5-16-004381-4 : 329.89 р.
Рек. УМО

ГРНТИ	27
УДК	519.1(075.8)	510.6(075.8)

Рубрики: Дискретная математика--Учебные пособия
Математическая логика--Учебные пособия
Кл.слова (ненормированные):
дискретная математика -- математическая логика -- теория алгоритмов -- компьютерная математика -- лабораторные работы -- учебные пособия

Доп.точки доступа:
Аляев, Юрий Александрович
Учебная литература:
ЭтФ / СИ / 09.03.04 / Дискретная математика / 1 / Доп
ЭтФ / СИ / 02.03.03 / Дискретная математика / 2 / Доп
ЮФ / ПМ / 01.03.04 / Дискретная математика / 3 / Осн
ЭтФ / СИ / 02.03.03 / Математическая логика / 3 / Осн
ЭтФ / ЭВС / 09.03.01 / Дискретная математика / 2 / Осн
ЭтФ / ЭВС / 11.03.01 / Дискретная математика в радиотехнике / 2 / Осн
ЭтФ / ТК / 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), чз (2), кх (1)
Свободны: аб (1), чз (2), кх (1)
Найти похожие

   517.2
   К715

    Косовский, Н. К.
    Элементы математической логики и ее приложения к теории субрекурсивных алгоритмов : учебное пособие / Н. К. Косовский ; М-во высш. и сред. спец. образования РСФСР. - Ленинград : Издательство Ленинградского университета, 1981. - 192 с. - Б. ц.

ГРНТИ	27.03.19
УДК	510

Рубрики: Математическая логика--Учебные пособия
Кл.слова (ненормированные):
математика -- математическая логика -- теория субрекурсивных алгоритмов -- учебные пособия

Доп.точки доступа:
Министерство высшего и среднего специального образования РСФСР
Экземпляры всего: 5
кх (3), аб (2)
Свободны: кх (3), аб (2)
Найти похожие

   517.2
   М876

    Мощенский, В. А.
    Лекции по математической логике : учебное пособие для математических специальностей вузов / В. А. Мощенский ; Белорус. гос ун-т им. В. И. Ленина. - Минск : [б. и.], 1973. - 160 с. : ил. - Б. ц.

ГРНТИ	27.03.19
УДК	510.6(75.8)

Рубрики: Математическая логика--Учебные пособия
Кл.слова (ненормированные):
математическая логика -- учебные пособия

Доп.точки доступа:
Белорусский государственный университет им. В. И. Ленина
Экземпляры всего: 2
кх (2)
Свободны: кх (2)
Найти похожие

   51
   К608

    Колмогоров, Андрей Николаевич.
    Математическая логика : Учебное пособие для математических специальностей вузов / А. Н. Колмогоров, А. Г. Драгалин ; Моск. гос. ун-т им. М. В. Ломоносова. - Москва : Издательство УРСС, 2004. - 238 с. : ил. - (Классический университетский учебник). - ISBN 5-354-00389-X : 196.29 р.

ГРНТИ	27.03.19
УДК	510.6(075.8)

Рубрики: Математическая логика--Учебные пособия
Кл.слова (ненормированные):
математическая логика -- теория множеств -- логико-математические языки -- логические законы -- формальные аксиоматические теории -- теория алгорифмов -- теория доказательств -- учебные пособия

Доп.точки доступа:
Драгалин, Альберт Григорьевич; Московский государственный университет им. М. В. Ломоносова
Экземпляры всего: 1
чз (1)
Свободны: чз (1)
Найти похожие

Конспекты лекций и упражнения по курсу "Математическая логика (Логика предикатов)" [] : учебное пособие / сост.: Л. П. Петрова, Б. Н. Садовский. - [Б. м. : б. и.]. - Б. ц.
Рубрики: Математическая логика--Учебные пособия
Кл.слова (ненормированные):
логика предикатов -- язык логики предикатов -- теоремы логики предикатов -- прикладная логика предикатов -- учебные пособия

Перейти к внешнему ресурсу: Полный текст в ЭБС "Руконт"

Доп.точки доступа:
Петрова, Любовь Петровна \сост.\; Садовский, Борис Николаевич \сост.\
Учебная литература:
ЭтФ / СИ / 02.03.03 / Практикум по логике предикатов / 5 / Осн
Свободных экз. нет
Найти похожие

Тематический навигатор

ссылка на мобильную версию электронного каталога

Базы данных

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

Вид поиска