Scientific Library of Tomsk State University

   E-catalog        

Normal view MARC view

Математическая логика. Курс лекций. Задачник-практикум и решения Лихтарников Л. М.,Сукачева Т. Г.

By: Лихтарников Л. МContributor(s): Сукачева Т. ГMaterial type: TextTextLanguage: Russian Publication details: Санкт-Петербург Лань 2022Edition: 4-е изд., стерDescription: 288 сISBN: 978-5-8114-0082-9Subject(s): математическая логика | учебное пособие | алгоритм | алгебра логики | курс лекций | задачник | аксиома логическая | алгебра | алгоритмы | буля | буля алгебра | вычислимая | геделя | двойственность | двойственность закон | дедукция теорема | дизъюнктивная | доказуемость | задачи | задачи решения | закон | исчисление высказываний | исчисление аксиоматическое | исчисления высказываний | конъюнктивная | курсы лекций | логика | логика предикатов | математика | математика логика | математическая логика исчисление высказываний алгебра логики логика предикатов математические теории машина тьюринга алгоритмы учебные пособия теорема дедукции теорема геделя лекции задачи | математические теории | машина | операция логическая | разрешимость | рекурсивная | решение задач | тавтология | терма | тьюринга | тьюринга машина | учебник и пособие | учебные пособия | форма дизъюнктивная | формула доказуемая | функция | функция вычислимая | функция рекурсивнаяOther classification: 22.122я73 Online resources: Click here to access online | Click here to access online Summary: Учебное пособие состоит из двух частей - курса лекций по математической логике, включающего теоретический материал по ряду разделов: алгебра логики, исчисление высказываний, логика предикатов, математические теории, алгоритмы, и задачника-практикума, содержащего упражнения по перечисленным разделам. Учебное пособие предназначено для студентов университетов и педагогических вузов, изучающих математическую логику.
Tags from this library: No tags from this library for this title. Log in to add tags.
No physical items for this record

Библиогр.: доступна в карточке книги, на сайте ЭБС Лань

Учебное пособие состоит из двух частей - курса лекций по математической логике, включающего теоретический материал по ряду разделов: алгебра логики, исчисление высказываний, логика предикатов, математические теории, алгоритмы, и задачника-практикума, содержащего упражнения по перечисленным разделам. Учебное пособие предназначено для студентов университетов и педагогических вузов, изучающих математическую логику.

Книга из коллекции Лань - Математика

There are no comments on this title.

to post a comment.
Share