Роман Добровенский, Рахим Давлеткалиев - Введение в математическую логику (2014г., RUS)
Информация о фильме:
Название: Введение в математическую логику
Год выпуска:2014
Производитель: Hexlet
Автор: Роман Добровенский, Рахим Давлеткалиев
Продолжительность: 2.2 часа
Тип материала: Видеоурок
Язык: Русский
Введение в математическую логику. Курс основан на первой главе Учебника по математике Романа Добровенского.Видео содержит слайды к лекциям в формате PDF.
Классическая логика является формальной основой для 99% современной математики. Не смотря на то, что логика вроде бы как-то стоит особняком от остальной математики, есть все же несколько теорем, которые интересны широким слоям населения. Доказательство их в курсе так же, надеюсь, будет приятным занятием.
Математическая логика в современном мире является довольно базовым знанием, которое в скором времени, скорее всего, будут преподавать во всех школах.Простой пример: любая база данных является множеством, а пользователь, задавая вопрос базе данных, на самом деле на специализированном языке формулирует предикат. Эту операцию выполняет часто и продвинутый бухгалтер и юрист, и финансист, только они чаще всего не знают слов типа «подмножество» и «предикат». Понимание логики и теории множеств может здорово упростить им работу, если они захотят более подробно изучать работу с базами данных (что не сложно). Можно привести более сложные примеры с языками программирования, но это уже в общем-то дебри относительно нашего курса, поэтому не будем углубляться. Просто скажем, что все же эти знания пусть и не в чистом виде, но могут оказаться полезны.
Содержание
Показать / Скрыть текст1. Базовые понятия логики, логические операции, наша первая теорема и закон Де Моргана.
2. Представление функций через базовые операции.
3. Рассматриваем решение "Самой сложной логической задачи"
4. Предикаты, кванторы, множества и подмножества.
5. Рассматриваем систему математических доказательств.
6. Парадоксы классической логики и заключение.
Файл
Файлы примеров: не предусмотрены
Формат видео: MOV
Видео: AVC, H.264, 1920x1080, 16:9, 60.000 fps, 663 Kbps
Аудио: AAC, 48.0 KHz, 256 Kbps, 2 channels
Размер: 691 MB
Скачать: Роман Добровенский, Рахим Давлеткалиев - Введение в математическую логику (2014г., RUS)
Если Вы хотите скачать Роман Добровенский, Рахим Давлеткалиев - Введение в математическую логику (2014г., RUS) воспользуйтесь файлообменниками, которые расположены нижеLetitbit.net
Vip-file.com
| Рейтинг: | 4.8 баллов / 2537 оценок |
| Формат: | Книга |
| Уже скачали: | 12880 раз |
Похожие Книги
Нам показалось, что Книги ниже Вас заинтересуют не меньше. Эти издания Вы так же можете скачивать и читать совершенно бесплатно на сайте!
-
The Jews and the Bible
Автор: Attias, Jean-Christophe Название: The Jews and the BibleЯзык: английский, пер. с фр.Издательство: Stanford, California: Stanford University PressГод: 2014Объем: 503 p.Формат: pdfРазмер: 13,7 mb . . .
-
American History (Cowans Auctions)
Автор: CollectiveНазвание: American HistoryИздательство: Cowans AuctionsГод: 2015Формат: PDF (e-book)Страниц: 254Размер: 29 MbЯзык: EnglishАукционный каталогuploaded.netdepositfiles.comturbobit.net . . .
-
Русско-английский разговорник
Составители: Маслова И. Смирнова О. Название: Русско-английский разговорник Издательство: Иваново: СП "Теккома"Год: 1991Страниц: 96Формат: pdfРазмер: 3 mbЯзыки: русский, английскийПриложение к газете . . .
-
Немецкий язык за 12 занятий. Оригинальный курс
Автор: Вотинов В.А. Название: Немецкий язык за 12 занятий. Оригинальный курс Издательство: М.: МКП "Поликом-Сервис"Год: 1991Страниц: 208Формат: pdfРазмер: 6 mbЯзык курса: русскийИзучаемый язык: немецк . . .
-
Морфология современного русского языка
Название: Морфология современного русского языка: УчебникАвтор: Иван Григорьевич ГолановИздательство: Высшая школа (Москва)Год: 1965 (2-е изд., испр. и доп.)Страниц: 286Формат: DjVu (в rar)Размер: 7,8 . . .
-
Complex Behavior in Evolutionary Robotics (de Gruyter Textbook)
Автор: Lukas KönigНазвание: Complex Behavior in Evolutionary Robotics (de Gruyter Textbook)Издательство: De Gruyter OldenbourgГод: 2015Формат: epubРазмер: 3.5 MbЯзык: АнглийскийThis book examines . . .
-
Большое космическое путешествие Петровича и Патапума
Автор: Канушкин Роман, Скляр АлександрНазвание: Большое космическое путешествие Петровича и ПатапумаИздательство: М.: ККК "Бекас"Год: 1992Формат: pdfРазмер: 32 mbГерои отправятся на далекую планету, п . . .
-
Автобизнес. Техника, сервис, запчасти
Автор: Волгин В.В.Название: Автобизнес. Техника, сервис, запчасти Издательство: М.: Дашков и К° Год: 2007Страниц: 918Формат: djvuРазмер: 12 mbВ отличие от книг по общим вопросам маркетинга и менеджмен . . .
-
Французская новелла двадцатого века. 1940 - 1970
Автор: Балашов В., Балашова Т. (сост.) Название: Французская новелла двадцатого века. 1940 - 1970Издательство: М.: Художественная литератураГод: 1976Формат: pdfРазмер: 7 mbВ эту книгу вошли новеллы и . . .
-
Столетняя война и Войны Роз
Название: Столетняя война и Войны РозАвтор: Вадим Устинов Издательство: Москва: АСТ, Астрель, ХранительСерия: Историческая библиотекаISBN: 978-5-17-046278-0, 978-5-271-17859-7, 978-5-9762-4499-3Год: 2 . . .
Вы не зарегистрированы!
Если вы хотите скачивать книги, журналы и аудиокниги бесплатно, без рекламы и без смс, оставлять комментарии и отзывы, учавствовать в различных интересных мероприятиях, получать скидки в книжных магазинах и многое другое, то Вам необходимо зарегистрироваться в нашей Электронной Библиотеке.
Отзывы читателей
Ой!
К сожалению, в нашей Бесплатной Библиотеке пока нет отзывов о Книге Роман Добровенский, Рахим Давлеткалиев - Введение в математическую логику (2014г., RUS). Помогите нам и другим читателям окунуться в сюжет Книги и узнать Ваше мнение. Оставьте свой отзыв или обзор сейчас, это займет у Вас всего-лишь несколько минут.