!_Расширенный поиск_!    <НА ГЛАВНУЮ>

Скачать "Успенский В.А., Верещагин Н.К., Плиско В.Е. - Вводный курс математической логики" бесплатно

Панель управления
Логин 
Пароль 
 


Основные категории

-- Книги
-- Аудиокниги
-- Журналы
-- Фильмы


Информация
Все вопросы и пожелания пишите на [email protected]
Правообладателям
Расширенный поиск
по сайту
Вводный курс математической логики : КНИГИ » Математика, физика, химия
автор: MIHAIL62 | 20 ноября 2017 | Просмотров: 579
 
Вводный курс математической логики     Название:   
    Автор:   
    Формат:   PDF
    Размер:   11 Мб
    Год:   
    Качество:   Отличное
    Язык:   Русский
    Страниц:   125

 
 

В учебном пособии содержится материал основного курса «Введение в математическую логику», читаемого на механико-математическом факультете МГУ. Излагаются элементы теории множеств, основные понятия, относящиеся к семантике формализованных логико-математических языков первого порядка, исчисление предикатов и теорема о его полноте, дается введение в теорию алгоритмов и вычислимых функций.
Для студентов математических факультетов университетов, педагогических институтов, а также других вузов с углубленным изучением информатики и кибернетики.









Сосчитайте:   71 + один – 3 =      и нажмите   






Разместите ссылку на эту страницу в социальных сетях. Так о ней узнают тысячи человек:





Нашли ошибку? Сообщите администрации сайта:
Выберите один из разделов меню и, если необходимо, напишите комментарий
   71 + один – 2 =    
За ложную информацию бан на месяц


Разместите, пожалуйста, ссылку на эту страницу на своём веб-сайте:

Код для вставки на сайт или в блог:      
Код для вставки в форум (BBCode):      
Прямая ссылка на эту публикацию:      


Помощь по работе с нашей библиотекой :

Программа для открытия файлов формата .PDF
Программа для открытия файлов формата .DJVU
Программа для открытия файлов формата .FB2

 
 
  • 0
 (голосов: 0)
Распечатать
 
 


Другие книги (журналы) по этой теме:
 
Вводный курс математической логики | Успенский В.А., Верещагин Н.К., Плиско В.Е. | Математика, физика, химия | Скачать бесплатно Успенский В.А., Верещагин Н.К., Плиско В.Е. - Вводный курс математической логики

В пособии содержится материал основного курса «Введение в математическую логику», читаемого на механико-математическом факультете МГУ. Излагаются элементы теории множеств, основные понятия, относящиеся к семантике формализованных логико-математических языков 1-го порядка, исчисление предикатов и теорема о его полноте, дается введение в теорию алгор ...
 
 
Математическая логика и теория алгоритмов | Судоплатов С.В., Овчинникова Б.В. | Программирование | Скачать бесплатно Судоплатов С.В., Овчинникова Б.В. - Математическая логика и теория алгоритмов

В книге излагаются основные исчисления математической логики: исчисления высказываний и исчисления предикатов; основы теории моделей и теории алгоритмов, а также элементы неклассических логик.
 
 
Математическая логика и теория алгоритмов (2019) | Вайнштейн Ю.В., Пенькова Т.Г., Вайнштейн В.И. | Математика, физика, химия | Скачать бесплатно Вайнштейн Ю.В., Пенькова Т.Г., Вайнштейн В.И. - Математическая логика и теория алгоритмов (2019)

Изложены темы, традиционно изучаемые в курсе математической логики и теории алгоритмов: алгебра логики и исчисление высказываний, логика и исчисление предикатов, формальные аксиоматические теории, теория алгоритмов и теория вычислительной сложности.
 
 
Математика. Логика, теория множеств и комбинаторика | Вечтомов Е.М., Широков Д.В. | Математика, физика, химия | Скачать бесплатно Вечтомов Е.М., Широков Д.В. - Математика. Логика, теория множеств и комбинаторика

В учебном пособии представлен вводный курс математики, который направлен на формирование и развитие логико-математической культуры у студентов. Издание посвящено азбуке современной математики: началам логики, теории множеств и комбинаторики. Помимо теоретической части издание содержит Практикум, в котором предложено большое количество разнообразных ...
 
 
Введение в математическую логику | Эллиот Мендельсон | Математика, физика, химия | Скачать бесплатно Эллиот Мендельсон - Введение в математическую логику

Введение в математическую логику — В книге дается доступное для начинающего читателя и достаточно полное изложение основных разделов современной математической логики и многих ее приложений. Наряду с такими разделами, как логика высказываний, исчисление предикатов, формальная арифметика и теория алгоритмов, в ней освещены также теория моделе ...
 
 



Данный материал НЕ НАРУШАЕТ авторские права никаких физических или юридических лиц.
Если это не так - свяжитесь с администрацией сайта.
Материал будет немедленно удален.
Электронная версия этой публикации предоставляется только в ознакомительных целях.
Для дальнейшего её использования Вам необходимо будет
приобрести бумажный (электронный, аудио) вариант у правообладателей.

Администрация сайта

Наверх