Программы, игры, фильмы, музыка, книги, Portable, софт - Новости портала
Развлекательно-познавательный портал SoftSova.RU
Главное меню
Разделы новостей
АУДИОКНИГИ [1167]
БЕЗОПАСНОСТЬ [195]
ГРАФИКА [115]
ДРАЙВЕРА [38]
ИГРЫ [241]
ИНТЕРНЕТ [266]
КНИГИ / ЖУРНАЛЫ [20696]
МОБИЛА / ПЛАНШЕТ [27]
МУЗЫКА [10403]
МУЛЬТИМЕДИА [156]
ОБРАЗОВАНИЕ [11]
РАБОЧИЙ СТОЛ [333]
СИСТЕМА [199]
ОС / СБОРКИ [1849]
ПОРТАТИВНЫЙ СОФТ [507]
СОФТ [462]
ФИЛЬМЫ / СЕРИАЛЫ [409]
ДОК. / УЧЕБ. ВИДЕО [2061]
МУЛЬТФИЛЬМЫ [22]
РАЗНОЕ [48]
Случайная новость
из архива
Аудиокниги
Сергей Вольнов - Зона Посещения. Живая легенда (Аудиокнига)
Аудиокниги
Олег Дивов - Толкование сновидений (Аудиокнига)
Картинки/Обои/Wallpapers
Роскошные и многообразные cладости
Музыка/MP3/WAV
Лучшая 100-ка осенних хитов (2012)
Музыка/MP3/WAV
Идем в отрыв! Волна хитовой музыки (2013)
Полезные программы
Windows 8 x64 - x86 KrotySOFT v.04.13
Музыка/MP3/WAV
Русский Шансон. Выходной с лучшими треками (2013)
Мультимедиа
FormatFactory 3.6.0 RePack/Portable by Diakov
Книги и Журналы
Владимир Бутромеев - Мир в картинках. Волк и три поросенка
Книги и Журналы
Altaf Hussain - Learning PHP 7 High Performance
Музыка/MP3/WAV
Нарисуй любовь. Только новинки попмузыки (2017)
Облако тегов
SoftSova.RU » КНИГИ / ЖУРНАЛЫ » Лекции по математической логике и теории алгоритмов: учебное пособие
Лучший интернет магазин, скидки, возврат денег, кэшбэк
КНИГИ ЖУРНАЛЫ Скачать Лекции по математической логике и теории алгоритмов: учебное пособие
Лекции по математической логике и теории алгоритмов: учебное пособие на Развлекательном портале SoftSova.RU
Лекции по математической логике и теории алгоритмов: учебное пособие — Основам математической логики и теории алгоритмов посвящено это пособие. При этом исчисление высказываний представлено достаточно полно, для исчисления предикатов рассмотрены вопросы интерпретации, непротиворечивости и неразрешимости, теория алгоритмов представлена материалами по вычислимым функциям, разрешимым и перечислимым множествам, рассмотрены неразрешимые алгоритмические проблемы. Раздел формальной арифметики включает теорему Геделя о неполноте. Математическая логика и опирающийся на нее аксиоматический метод оказали большое влияние на развитие всех разделов математики, в частности, и потому, что классическое исчисление предикатов является той логической системой, на базе которой можно, в принципе, формализовать всю математику. Учебное пособие предназначено для студентов, обучающихся по направлению «Фундаментальная информатика и информационные технологии», дисциплина «Математическая логика и теория алгоритмов».

Название: Лекции по математической логике и теории алгоритмов: учебное пособие
Автор: Белов Ю. А., Соколов В. А.
Издательство: Ярославль: ЯрГУ
Год: 2013
Страниц: 140
Формат: DJVU
Размер: 10,74 МБ
ISBN: 978-5-8397-0908-9
Качество: Отличное

Содержание:

Введение
1. Элементы математической логики
2. Элементы теории алгоритмов
Литература


Чтобы увидеть дополнительные бесплатные ссылки, пожалуйста зарегистрируйтесь!


Теги: КНИГИ / ЖУРНАЛЫ, теории, Белов, алгоритмов, математической, Соколов, логике, 2013, Лекции, Лекции по математической логике и теории алгоритмов: учебное пособие


Категория: КНИГИ / ЖУРНАЛЫ | Просмотров: 14 | Добавил: Gunpowder
| Дата добавления:
29 Июл 2018 | Рейтинг:


Понравилась новость???
Нажмите на кнопку расположенную ниже,
чтобы отблагодарить Gunpowder за этот материал:
Или добавьте её в социальные закладки:

Как мне скачать бесплатно без СМС и регистрации Лекции по математической логике и теории алгоритмов: учебное пособие с
RapidShare | DepositFiles | FileFactory | LetitBit | iFolder



ПОХОЖИЕ МАТЕРИАЛЫ В КАТЕГОРИИ » КНИГИ / ЖУРНАЛЫ
З.Е. Шульман - Кулинарные советы, секреты, хитрости
Надежда Семенова - Кухня раздельного питания
Ф.Р. Блэр - Тайны самогипноза. Найди путь к успеху
Н. А. Теленкова - Чай - великий целитель
Гарри Берсон - Дикорастущие съедобные растения
Е.А. Бойкова - 200 рецептов по 200 калорий. Вкусные блюда для завтрака, обеда и ужина
И.В. Резько - Горячие бутерброды
Анатолий Рыбаков - Страх (Аудиокнига)
Я. И. Магидов - Живые лекарства моря
П. Ньюмейер - Натуральные антибиотики. Защита организма без побочных эффектов
Зарубежный криминальный роман в 22 томах (1991-1996)
Коллектив авторов - Книга рецептов для мультиварки Kambrook APR401
Федор Бурлацкий - Новое мышление. Диалоги и суждения о технологической революции и наших реформах
Илья Рощин - Лечение целебными маслами
О.И. Горшкова - Вегетарианская кухня
Рошаль В., Филатова Т. Г. - Выпечка и десерты
С.Ю. Коваль - Начало пути к себе. Развитие памяти
Александра Ус - Книга полезных советов
Е. Марченко - Бисквиты и рулеты
Ж.Х. Асатрян - Лечение внутренних органов через позвоночный столб
Всего комментариев: 0 -Напишите отзыв и Вы будете первым!
Добавлять комментарии могут только зарегистрированные пользователи.
[ Регистрация | Вход ]

Copyright SoftSova.RU™ © 2009-2018 Хостинг от
Мини профиль
Московское время: 16:27
Сегодня 20 Авг 2018 года.










Гость!
Полное имя Гость
Ваша группа Гости сайта;
Ваш IP: 54.224.108.238;
Вы с нами день
Мы рады вам ГОСТЬ! Чтобы не видеть рекламу, получить личный профиль и неограниченный доступ на сайте, пожалуйста, зарегистрируйтесь или авторизуйтесь!
Правила сайта!
Правила добавления
новостей!

Логин:
Пароль:

Поиск по сайту



Полезное
Случайная новость
МУЗЫКА
Сегодня Снова Ты Не Рядом (2014)
МУЗЫКА
MTV Лучшая сотка 50/50 (2013)
МОБИЛА / ПЛАНШЕТ
Duke Nukem: Manhattan Project (2014/ENG/IOS)
АУДИОКНИГИ
Азольский Анатолий: Глаша (аудиокнигу)
ГРАФИКА
Pet Eye Fix Guide 2.1.6 ML/Rus RePack + Portable by KGS
МУЗЫКА
Настоящий Русский Шансон (2014)
ФИЛЬМЫ / СЕРИАЛЫ
Сила человека (сила отжиманий) 2012г
МУЗЫКА
Новинки Зарубежной Музыки (2014)
СОФТ
WinISO Standard 6.4.0.5136 + patch
КНИГИ / ЖУРНАЛЫ
Сборник произведений - Н. Александрова (183 книги)
Статистика
Последние статьи
партнерка за смс, заработок на смс-партн...
Как попасть на первую страницу поисковой...
Что делать если наступил страховой случа...
Что нужно знать о независимой экспертизе...
Карта Квартира+ ПИК
Как разблокировать доступ к сайту
ошибки синего экрана смерти
Как выбрать сейф и какие они бывают
Как выбрать мебель в офис
Как завязывать галстук, шарф и платок. П...
Как правильно целоваться

Сайт адаптирован для просмотра с разрешением монитора 1280х1024 1024х768 в браузерах Mozilla Firefox и Opera. ВАШ браузер: , а
Файлы для обмена и ознакомления предоставлены пользователями сайта. Администрация не несёт ответственности за их содержание. На сервере хранятся только ссылки на файлы. Это значит, что мы не храним и не распространяем никаких нелегальных материалов, а так же материалов охраняемых авторским правом.
Для правообладателей!