Математическая логика. Курс лекций. Задачник-практикум и решения. учебное пособие. Изд. 4-е, стер.


Автор:

Лихтарников Л. М., Сукачева Т. Г.

Год издания:

2009

Место издания:

СПб. [и др.]

Издательство:

ЛАНЬ

Объем:

278с.

Раздел:

Индекс УДК:

510(070)

Дисциплины:

Математика_ (ВПФМ)(23.05.01 Наземные транспортно-технологические средства. профиль Подъемно-транспортные, строительные, дорожные средства и оборудование)
Математика (ВТО)


Аннотация:


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