Вид документа : Однотомное издание Шифр издания : RU-LAN-BOOK-231 Автор(ы) : Лихтарников Л. М., Сукачева Т. Г. Заглавие : Математическая логика. Курс лекций. Задачник-практикум и решения : сборник задач . -4-е изд., стер. Выходные данные : Санкт-Петербург: Лань, 2009 Колич.характеристики :288 с Примечания : Книга из коллекции Лань - Математика ISBN, Цена 978-5-8114-0082-9: Б.ц. УДК : 510.6(075) ББК : 22.122я73 Предметные рубрики: Математика-- Дискретная математика и математическая логика Ключевые слова (''Своб.индексиров.''): математическая логика--учебное пособие--алгоритм--алгебра логики--курс лекций--задачник--аксиома логическая--алгебра--алгоритмы--буля--буля алгебра--вычислимая--геделя--двойственность--двойственность закон--дедукция теорема--дизъюнктивная--доказуемость--задачи--задачи решения--закон--исчисление высказываний--исчисление аксиоматическое--исчисления высказываний--конъюнктивная--курсы лекций--логика--логика предикатов--математика--математика логика--математическая логика исчисление высказываний алгебра логики логика предикатов математические теории машина тьюринга алгоритмы учебные пособия теорема дедукции теорема геделя лекции задачи--математические теории--машина--операция логическая--разрешимость--рекурсивная--решение задач--тавтология--терма--тьюринга--тьюринга машина--учебник и пособие--учебные пособия--форма дизъюнктивная--формула доказуемая--функция--функция вычислимая--функция рекурсивная Аннотация: Учебное пособие состоит из двух частей — курса лекций по математической логике, включающего теоретический материал по ряду разделов: алгебра логики, исчисление высказываний, логика предикатов, математические теории, алгоритмы, и задачника-практикума, содержащего упражнения по перечисленным разделам. Учебное пособие предназначено для студентов университетов и педагогических вузов, изучающих математическую логику. Доп. точки доступа: Сукачева, Т. Г.