Математическая логика
Название: Математическая логика
Автор: Ершов Ю.Л., Палютин Е.А.
Издательство: Наука
Год выпуска: 1987
Формат: PDF
Размер: 13MB
Качество: Отсканированные страницы
Количество страниц: 336
Описание: В книге изложены основные классические исчисления математической логики: исчисление высказываний и исчисление предикатов; имеется краткое изложение основных понятий теории множеств и теории алгоритмов. Ряд разделов книги — теория моделей и теория доказательств — изложены более подробно, чем это предусмотрено программой.
depositfiles.com
turbobit.net
| Рейтинг: | 4.8 баллов / 2537 оценок |
| Формат: | Книга |
| Уже скачали: | 12841 раз |
Похожие Книги
Нам показалось, что Книги ниже Вас заинтересуют не меньше. Эти издания Вы так же можете скачивать и читать совершенно бесплатно на сайте!
-
Книга рецептов для хлебопечки Panasonic
Автор: Селезнев АлександрНазвание: Книга рецептов для хлебопечки PanasonicИздательство: PanasonicГод: 2012Страниц: 213Формат: pdf Размер: 178 МбКачество: отличноеОписание:Книга рецептов для хлебопечки . . .
-
Назубные отложения
Название: Назубные отложения Автор: Анатолий Грохольский, Николай Кодола, Татьяна ЦентилоГод издания: 2000Издательство: Здоров'яСтраниц: 164Формат: DJVUРазмер: 6, . . .
-
Октябрьская революция и историческая наука (1917-1923 гг.)
Название: Октябрьская революция и историческая наука (1917-1923 гг.)Автор: Алексеева Г.Д.Год: 1968Издательство: НаукаФормат: DjVuРазмер: 12 MbСтраниц: 305Язык: РусскийПервые шаги советской историческо . . .
-
Using Microsoft Excel 2002. Special Edition / Использование Microsoft Excel 2002. Специальное издание
Название: Using Microsoft Excel 2002. Special Edition / Использование Microsoft Excel 2002. Специальное изданиеГод: 2002Автор: Patrick Blattner / Патрик БлатнерИздательство: ВильямсISBN: 5-8459-0269-X . . .
-
Сокровища погибших кораблей
Название: Сокровища погибших кораблейГод выпуска: 2011Автор: Арсений РагунштейнИздательство: Москва: ВечеСерия: Морская летописьISBN: 978-5-9533-5798-2Формат: PDF, DjVuРазмер: 41.4 Mb (PDF); 14.3 Mb ( . . .
-
Русская Ницца
Название: Русская НиццаГод выпуска: 2008Автор: С. Ю. НечаевИздательство: ВечеСерия: Русские за границейISBN: 978-5-9533-3012-1Формат: PDF, DjVuРазмер: 45,3 Mb (PDF); 19,6 Mb (DjVu)Качество: Скан OCR, . . .
-
Excel. Сборник примеров и задач
Название: Excel. Сборник примеров и задачГод: 2003Автор: С. М. ЛавреновИздательство: Финансы и статистикаСерия или выпуск: Диалог с компьютеромISBN: 5-279-02130-XЯзык: русскийФормат: pdfКоличество стр . . .
-
Самоучитель работы на компьютере. 3-е издание
Название: Самоучитель работы на компьютере. 3-е изданиеГод: 2002Автор: Е. Вовк, С. Баричев, О. ПлотниковИздательство: КУДИЦ-ОбразСерия или выпуск: СамоучительISBN: 5-93378-036-7Язык: русскийФормат: pd . . .
-
Русская баня (электронная энциклопедия)
Название: Русская баня (электронная энциклопедия)Автор: КоллективГод: 2007 Издательство: Marazmic soft Язык: русскийФормат: exe Размер: 131 МБВ пользе бани или сауны не сомневается никто. Посещение ба . . .
-
В стране веселых песен
Автор: Олифирова Л.А. Название: В стране веселых песен. Сценарии праздников и театрализованных представлений для дошкольников. Издательство: Воспитание дошкольникаГод: 2002Формат: pdfРазмер: 5,8 мбВ . . .
Вы не зарегистрированы!
Если вы хотите скачивать книги, журналы и аудиокниги бесплатно, без рекламы и без смс, оставлять комментарии и отзывы, учавствовать в различных интересных мероприятиях, получать скидки в книжных магазинах и многое другое, то Вам необходимо зарегистрироваться в нашей Электронной Библиотеке.
Отзывы читателей
Ой!
К сожалению, в нашей Бесплатной Библиотеке пока нет отзывов о Книге Математическая логика. Помогите нам и другим читателям окунуться в сюжет Книги и узнать Ваше мнение. Оставьте свой отзыв или обзор сейчас, это займет у Вас всего-лишь несколько минут.