|
|
|
|
|
|
|||
Автор: |
Лихтарников Л. М., Сукачева Т. Г. | ||||
Год издания: |
2009 | ||||
Место издания: |
СПб. [и др.] | ||||
Издательство: |
ЛАНЬ | ||||
Объем: |
278с. | ||||
Раздел: |
|||||
Индекс УДК: |
510(070) | ||||
Дисциплины: |
Математика_ (ВПФМ)(23.05.01 Наземные транспортно-технологические средства. профиль Подъемно-транспортные, строительные, дорожные средства и оборудование) | ||||
Аннотация: |
|||||
Учебное пособие состоит из двух частей - курса лекций по математической логике, включающего теоретический материал по ряду разделов: алгебра логики, исчисление высказываний, логика предикатов, математические теории, алгоритмы, и задачника-практикума, содержащего упражнения по разделам. | |||||