Виды поиска
Стандартный Расширенный Профессиональный Словарь
Навигаторы
ГРНТИ УДК Тезаурус
База данных
|
Формат представления найденных документов: | ||
полный | информационный | краткий |
Общее количество найденных документов : 1 |
1. | 51
Кл.слова (ненормированные): алгебра логики -- исчисление высказываний -- логика предикатов -- математические теории -- алгоритмы Аннотация: Учебное пособие состоит из двух частей - курса лекций по математической логике, включающего теоретический материал по ряду разделов: алгебра логики, исчисление высказываний, логика предикатов, математические теории, алгоритмы, и задачника-практикума, содержащего упражнения по перечисленным разделам. Учебное пособие состоит из двух частей - курса лекций по математической логике, включающего теоретический материал по ряду разделов: алгебра логики, исчисление высказываний, логика предикатов, математические теории, алгоритмы, и задачника-практикума, содержащего упражнения по перечисленным разделам. Держатели документа: КемГСХИ : 650056, Кемерово, ул. Марковцева, 5 Доп.точки доступа: Сукачева, Тамара Геннадьевна Экземпляры всего: 3 ОХФ; 3, 3 (3) Свободны: ОХФ; 3, 3 (3) |