Математическая логика и теория алгоритмов
| Autor principal: | |
|---|---|
| Altres autors: | |
| Sumari: | Допущено Учебно-методическим объединением вузов по университетскому политехническому образованию в качестве учебного пособия для студентов высших учебных заведений, обучающихся по направлениям 552800, 654600 «Информатика и вычислительная техника», специальности 220200 «Автоматизированные системы обработки информации и управления». Изложен материал основного курса «Математическая логика и теория алго¬ритмов», читаемого на факультете «Автоматизации и информатики (АИ)» МГГУ: основные понятия, относящиеся к семантике формализованных логико-математических языков; математическая логика, исчисление высказываний и предикатов, элементы теории множеств, основы теории моделей и алгоритмов. Показано практическое использование алгебры к задачам математической логики. Для студентов вузов, обучающихся по направлениям 552800, 654600 «Информатика и вычислительная техника», специальности 220200 «Автоматизированные системы обработки информации и управления». Книга из коллекции Горная книга - Инженерно-технические науки |
| Publicat: |
Москва, Горная книга, 2006
|
| Matèries: | |
| Accés en línia: | http://e.lanbook.com/books/element.php?pl1_cid=25&pl1_id=3514 https://e.lanbook.com/img/cover/book/3514.jpg |
| Format: | Electrònic Llibre |
MARC
| LEADER | 00000nam0a2200000 i 4500 | ||
|---|---|---|---|
| 001 | 3514 | ||
| 010 | |a 5-7418-0451-9 | ||
| 100 | |a 20200604d2006 k y0rusy01020304ca | ||
| 101 | 0 | |a rus | |
| 102 | |a RU | ||
| 105 | |a y j 000zy | ||
| 106 | |a z | ||
| 200 | 1 | |a Математическая логика и теория алгоритмов |b Электронный ресурс |f Гурова Л. М., Зайцева Е. В. | |
| 210 | |a Москва |b Москва |c Горная книга |d 2006 | ||
| 215 | |a 262 с. | ||
| 300 | |a Допущено Учебно-методическим объединением вузов по университетскому политехническому образованию в качестве учебного пособия для студентов высших учебных заведений, обучающихся по направлениям 552800, 654600 «Информатика и вычислительная техника», специальности 220200 «Автоматизированные системы обработки информации и управления». | ||
| 330 | |a Изложен материал основного курса «Математическая логика и теория алго¬ритмов», читаемого на факультете «Автоматизации и информатики (АИ)» МГГУ: основные понятия, относящиеся к семантике формализованных логико-математических языков; математическая логика, исчисление высказываний и предикатов, элементы теории множеств, основы теории моделей и алгоритмов. Показано практическое использование алгебры к задачам математической логики. Для студентов вузов, обучающихся по направлениям 552800, 654600 «Информатика и вычислительная техника», специальности 220200 «Автоматизированные системы обработки информации и управления». | ||
| 333 | |a Книга из коллекции Горная книга - Инженерно-технические науки | ||
| 610 | 0 | |a информатика | |
| 610 | 0 | |a исчисление высказываний | |
| 610 | 0 | |a математическая логика | |
| 610 | 0 | |a теория алгоритмов | |
| 610 | 0 | |a элементы теории множеств | |
| 675 | |a 510.5(075.8) | ||
| 686 | |a В12я73 |2 rubbk | ||
| 700 | 1 | |a Гурова |b Л. М. | |
| 701 | 1 | |a Зайцева |b Е. В. | |
| 801 | 1 | |a RU |b Издательство Лань |c 20200604 |g RCR | |
| 856 | 4 | |u http://e.lanbook.com/books/element.php?pl1_cid=25&pl1_id=3514 | |
| 856 | 4 | 1 | |u https://e.lanbook.com/img/cover/book/3514.jpg |
| 953 | |a https://e.lanbook.com/img/cover/book/3514.jpg | ||