Вычислимость и логика djvu 10,1Мб
Название: Вычислимость и логика
Автор: Булос Дж., Джеффри Р.
Издательство: М.: Мир
Год: 1994
Страниц: 396
Формат: djvu
Размер: 10.10 Мб
ISBN: 5-03-003067-0
Качество: хорошее
Обложка от американского издания!
Книга известных американских математиков, являющаяся в настоящее время одной из наиболее известных в США книг по математической логике, выдержавшая там три издания (1974, 1980, 1989 гг.). В ней содержатся начала и некоторые дополнительные главы математической логики, последовательно и строго излагаются классические теоремы о неразрешимости логики предикатов и разрешимости некоторых ее фрагментов, знаменитые теоремы Гёделя о полноте, нестандартные модели и многое другое. Материал дополнен упражнениями.
Для всех, кто интересуется математической логикой, а также информатикой, философией и лингвистикой.
Скачать с ifolder.ru
Скачать с depositfiles.com
Скачать с rapidshare.com
Скачать с letitbit.net
| Рейтинг: | 4.8 баллов / 2537 оценок |
| Формат: | Книга |
| Уже скачали: | 12751 раз |
Похожие Книги
Нам показалось, что Книги ниже Вас заинтересуют не меньше. Эти издания Вы так же можете скачивать и читать совершенно бесплатно на сайте!
-
Применение газоразрядных источников света djvu 2,95Мб
Название: Применение газоразрядных источников светаАвтор: Малкин Д. Я.Издательство: ЭнергияГод издания: 1975Страниц: 120Формат: DJVUРазмер: 2.95 МбВ книге содержатся сведения о газоразрядных источника . . .
-
Романова А.Ю. - Белая и серая магия pdf. 3,57Мб
Магия — это совокупность древнейших знаний о законах нефизического мира. Применение магии дает возможность не только оказывать влияние на ближайшие события, но и постигать сокровенные тайны Вселенной, . . .
-
Оптическая и квантовая электроника pdf 22,7Мб
Название: Оптическая и квантовая электроникаАвтор: Пихтин А.Н.Издательство: Высшая школаГод: 2001 Страниц: 573Формат: PDFРазмер: 22.7 МбВ книге изложены физические основы оптической электроники, вклю . . .
-
Автоматические ориентирующие загрузочные устройства и механизмы djvu 19Мб
Название: Автоматические ориентирующие загрузочные устройства и механизмыАвтор: Медвидь М.В.Издательство: МАШГИЗГод: 1963Страниц: 300Формат: DJVUРазмер: 19 МбКачество: хорошееВ книге на базе теоретиче . . .
-
Свами Сатьянанда Сарасвати. Свара Йога. djvu 2,71Мб
Издательство: Профит стайлГод: 2002Формат: DJVUСтраниц : 288Размер : 2,71 Mb (rar + 3% recovery)Свара йога - древнейшая наука о пране и биоритмах физического тела. Читатель узнает о том, как управлять . . .
-
Романова А.Ю. - Магия тайных сил pdf. 3,46Мб
Черная магия — это радикальное средство, последний довод в борьбе с труднейшими обстоятельствами. И поистине огромна ответственность того, кто решился предаться этому тайному учению, ибо никакое зло п . . .
-
Заруцкий Ф. Подготовка разведчика. doc 2Мб
Автор: Заруцкий Ф.Жанр: Военное делоФормат: docCтраниц: 202Размер: 2 мБ.Сейчас очень много говорят и пишут о бойцах подразделений специального назначения армии, внутренних и пограничных войск. При это . . .
-
Око возрождения. Пять тибетских жемчужин. pdf 0,9Мб
Название: Око возрождения. Пять тибетских жемчужин.Автор: Кристофер С. КилхэмСерия: Око возрожденияИздательство: СофияISBN: 5-9550-0207-3Год издания: 2005Страниц: 44Язык: РусскийФормат: pdfКачество: о . . .
-
Операционная система UNIX djvu 5,39Мб
Название: Операционная система UNIXАвтор: Андрей Робачевский, Сергей Немнюгин, Ольга СтесикИздательство: БХВ-ПетербургГод: 2002Страниц: 528Формат: DJVUРазмер: 5,39 MбДаны основы организации, идеологии . . .
-
Паутина жизни pdf
Год: 2002Автор: Фритьоф КапраОбъём: 2,6 мб (310 стр.)Формат: pdfЭто третья научно-популярная книга известного учёного-физика, посвящённая самым фундаментальным вопросам науки - причинам и законам быти . . .
Вы не зарегистрированы!
Если вы хотите скачивать книги, журналы и аудиокниги бесплатно, без рекламы и без смс, оставлять комментарии и отзывы, учавствовать в различных интересных мероприятиях, получать скидки в книжных магазинах и многое другое, то Вам необходимо зарегистрироваться в нашей Электронной Библиотеке.
Отзывы читателей
Ой!
К сожалению, в нашей Бесплатной Библиотеке пока нет отзывов о Книге Вычислимость и логика djvu 10,1Мб. Помогите нам и другим читателям окунуться в сюжет Книги и узнать Ваше мнение. Оставьте свой отзыв или обзор сейчас, это займет у Вас всего-лишь несколько минут.