51 Л656 Лихтарников, Леонид Моисеевич. Математическая логика : Курс лекций. Задачник-практикум. Решения: учеб. пособие для вузов / Л.М. Лихтарников, Т.Г. Сукачева. - Изд. 3-е, испр. - СПб. : Лань, 2008. - 276 с. - (Учебники для вузов. Cпециальная литература). - ISBN 978-5-8114-0082-9 : 339.22 р. ГРНТИ 27.03.19 УДК:510.6(075.8) Ключевые слова: математическая логика -- алгебра логики -- исчисление высказываний -- логика предикатов -- математические теории -- алгоритмы -- учебные пособия Доп.точки доступа: Сукачева, Тамара Геннадьевна --- Экземпляры всего: 5 Mесто хранения: чз (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) Ключевые слова: дискретная математика -- математическая логика -- теория алгоритмов -- компьютерная математика -- лабораторные работы -- учебные пособия Доп.точки доступа: Аляев, Юрий Александрович --- Экземпляры всего: 5 Mесто хранения: аб (2), чз (2), кх (1) Свободны: аб (1), чз (2), кх (1) |
517.2 К715 Косовский, Н. К. Элементы математической логики и ее приложения к теории субрекурсивных алгоритмов : учебное пособие / Н. К. Косовский ; М-во высш. и сред. спец. образования РСФСР. - Ленинград : Издательство Ленинградского университета, 1981. - 192 с. - Б. ц. ГРНТИ 27.03.19 УДК:510 Ключевые слова: математика -- математическая логика -- теория субрекурсивных алгоритмов -- учебные пособия Доп.точки доступа: Министерство высшего и среднего специального образования РСФСР Экземпляры всего: 5 Mесто хранения: кх (3), аб (2) Свободны: кх (3), аб (2) |
517.2 М876 Мощенский, В. А. Лекции по математической логике : учебное пособие для математических специальностей вузов / В. А. Мощенский ; Белорус. гос ун-т им. В. И. Ленина. - Минск : [б. и.], 1973. - 160 с. : ил. - Б. ц. ГРНТИ 27.03.19 УДК:510.6(75.8) Ключевые слова: математическая логика -- учебные пособия Доп.точки доступа: Белорусский государственный университет им. В. И. Ленина Экземпляры всего: 2 Mесто хранения: кх (2) Свободны: кх (2) |
51 К608 Колмогоров, Андрей Николаевич. Математическая логика : Учебное пособие для математических специальностей вузов / А. Н. Колмогоров, А. Г. Драгалин ; Моск. гос. ун-т им. М. В. Ломоносова. - Москва : Издательство УРСС, 2004. - 238 с. : ил. - (Классический университетский учебник). - ISBN 5-354-00389-X : 196.29 р. ГРНТИ 27.03.19 УДК:510.6(075.8) Ключевые слова: математическая логика -- теория множеств -- логико-математические языки -- логические законы -- формальные аксиоматические теории -- теория алгорифмов -- теория доказательств -- учебные пособия Доп.точки доступа: Драгалин, Альберт Григорьевич --- Московский государственный университет им. М. В. Ломоносова Экземпляры всего: 1 Mесто хранения: чз (1) Свободны: чз (1) |
Конспекты лекций и упражнения по курсу "Математическая логика (Логика предикатов)" [Электронный ресурс] : учебное пособие / сост.: Л. П. Петрова, Б. Н. Садовский. - [Б. м. : б. и.]. - Б. ц. Ключевые слова: логика предикатов -- язык логики предикатов -- теоремы логики предикатов -- прикладная логика предикатов -- учебные пособия Перейти к внешнему ресурсу Полный текст в ЭБС "Руконт" Доп.точки доступа: Петрова, Любовь Петровна \сост.\ --- Садовский, Борис Николаевич \сост.\ --- Свободных экз. нет |