Виды поиска
Стандартный Расширенный Профессиональный Словарь
Навигаторы
ГРНТИ УДК Тезаурус
База данных
|
|
| Формат представления найденных документов: | ||
| полный | информационный | краткий |
|
Общее количество найденных документов : 1 |
|||
1.  |
Вид документа : Однотомное издание Шифр издания : 51/Л 656 Автор(ы) : Лихтарников, Леонид Моисеевич, Сукачева, Тамара Геннадьевна Заглавие : Математическая логика. Курс лекций. Задачник-практикум и решения : учеб. пособие . -4-е изд., стер. Выходные данные : Санкт-Петербург: Лань, 2009 Колич.характеристики :288 с Серия: Учебники для вузов. Специальная литература ISBN (в пер.), Цена 978-5-8114-0082-9: 390.61 р. УДК : 510.6(075) Предметные рубрики: Естественные науки-- Математика-- Высшая школа-- Учебные пособия Ключевые слова (''Своб.индексиров.''): алгебра логики--исчисление высказываний--логика предикатов--математические теории--алгоритмы Аннотация: Учебное пособие состоит из двух частей - курса лекций по математической логике, включающего теоретический материал по ряду разделов: алгебра логики, исчисление высказываний, логика предикатов, математические теории, алгоритмы, и задачника-практикума, содержащего упражнения по перечисленным разделам. Экземпляры : всего : ОХФ(3) Свободны : ОХФ(3) Экземпляры всего: 3 ОХФ; 3, 3 (3) Свободны: ОХФ; 3, 3 (3) Держатели документа: КемГСХИ : 650056, Кемерово, ул. Марковцева, 5 Доп.точки доступа: Сукачева, Тамара Геннадьевна |
