Электронная библиотека

ЭЛЕКТРОННАЯ БИБЛИОТЕКА






Добро пожаловать на сайт электронной библиотеки!
Здесь можно найти произведения русских и зарубежных авторов.
Скачать множество книг и журналов различных жанров и направлений.
Большой выбор художественной, бизнес, учебной и технической литературы.
Все представленные здесь книги и журналы имеют подробное описание и обложку.
Наша библиотека регулярно пополняется только новыми и интересными материалами!

«Подробнее о сайте»            «Правила сайта»            «Написать нам»            «Статьи»

Р.Добровенский, Р.Давлеткалиев - Введение в математическую логику (2014г., RUS)

Видеоуроки





Разместил: gritan

28-02-2014, 12:50

Просмотров: 482





Р.Добровенский, Р.Давлеткалиев - Введение в математическую логику (2014г., RUS)

Информация о фильме:
Название: Введение в математическую логику
Год выпуска:2014
Производитель: Hexlet
Автор: Роман Добровенский, Рахим Давлеткалиев
Продолжительность: 2.2 часа
Тип материала: Видеоурок
Язык: Русский

Введение в математическую логику. Курс основан на первой главе Учебника по математике Романа Добровенского.Видео содержит слайды к лекциям в формате PDF.
Классическая логика является формальной основой для 99% современной математики. Не смотря на то, что логика вроде бы как-то стоит особняком от остальной математики, есть все же несколько теорем, которые интересны широким слоям населения. Доказательство их в курсе так же, надеюсь, будет приятным занятием.
Математическая логика в современном мире является довольно базовым знанием, которое в скором времени, скорее всего, будут преподавать во всех школах.Простой пример: любая база данных является множеством, а пользователь, задавая вопрос базе данных, на самом деле на специализированном языке формулирует предикат. Эту операцию выполняет часто и продвинутый бухгалтер и юрист, и финансист, только они чаще всего не знают слов типа «подмножество» и «предикат». Понимание логики и теории множеств может здорово упростить им работу, если они захотят более подробно изучать работу с базами данных (что не сложно). Можно привести более сложные примеры с языками программирования, но это уже в общем-то дебри относительно нашего курса, поэтому не будем углубляться. Просто скажем, что все же эти знания пусть и не в чистом виде, но могут оказаться полезны.

Содержание


Файл
Файлы примеров: не предусмотрены
Формат видео: 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








Похожие публикации

Теория вероятностей в задачах и упражнениях Теория вероятностей в задачах и упражнениях
Теория вероятностей в задачах и упражнениях - Учебное пособие содержит задачи по всем разделам теории вероятностей, изучаемым в технических университетах и институтах, а также решения наиболее важных задач; практически ко всем задачам приведены

Visual Basic 4.0 в бюро Visual Basic 4.0 в бюро
Visual Basic 4.0 в бюро - Книга содержит описание пошаговой разработки программы учета хозяйственной деятельности торгового предприятия, написанной на языке Visual Basic (этакий аналог мини-конфигурации "Торговля+Склад" в 1С). Рассмотренные в ней

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

Бухгалтерская финансовая отчетность. Экспресс-курс Бухгалтерская финансовая отчетность. Экспресс-курс
Бухгалтерская финансовая отчетность. Экспресс-курс - Бухгалтерская отчетность - это картина финансово-имущественного состояния организации, а бухгалтер - это художник, от навыков и умения которого зависит, насколько достоверно и добросовестно эта

Учебник шахматных окончаний. Все виды эндшпиля. Шахматы от Учебник шахматных окончаний. Все виды эндшпиля. Шахматы от "А" до "Я"
Учебник шахматных окончаний. Все виды эндшпиля. Шахматы от "А" до "Я" - Активному шахматисту-практику не хватает времени на глубоком изучение эндшпиля, но определенный набор позиций должен знать каждый квалифицированный шахматист. Этой задаче и

Качаем из Интернета. Азбука халявщика Качаем из Интернета. Азбука халявщика
Качаем из Интернета. Азбука халявщика - Это делают все. Каждый день. И везде - от Нью-Йорка до бамбуковой хижины на острове Самуи (где нет холодильника, зато присутствует беспроводной Интернет). Невзирая на все возможные кары и запреты. С первого же

Высшая математика. Мини-справочник для вузов Высшая математика. Мини-справочник для вузов
Высшая математика. Мини-справочник для вузов - Данный мини-справочник предназначен для студентов гуманитарных факультетов высших учебных заведений при подготовке и сдаче экзаменов по высшей математике.

Программирование на языке Go Программирование на языке Go
Программирование на языке Go - На сегодняшний день Go - самый впечатляющий из новых языков программирования. Изначально он создавался для того, чтобы помочь задействовать всю мощь современных многоядерных процессоров. В этом руководстве Марк

Справочная книга по ремонту часов Справочная книга по ремонту часов
Справочная книга по ремонту часов - В книге изложены устройство и технология ремонта часов различных марок, как индивидуальным, так и поточно-операционным методом. Описан ремонт отдельных моделей сложных часов. Приведены необходимое оборудование,

Морские узлы (3-е издание, дополненное) Морские узлы (3-е издание, дополненное)
Морские узлы (3-е издание, дополненное) - Рассказывается о возникновении и способах вязки около 150 морских узлов, которые могут быть использованы при выполнении самых разных работ и в быту. Описание каждого узла, как правило, включает краткий




Отзывы и Комментарии





Добавление комментария

Ваше Имя:
Ваш E-Mail:(необязательно)
  • bowtiesmilelaughingblushsmileyrelaxedsmirk
    heart_eyeskissing_heartkissing_closed_eyesflushedrelievedsatisfiedgrin
    winkstuck_out_tongue_winking_eyestuck_out_tongue_closed_eyesgrinningkissingstuck_out_tonguesleeping
    worriedfrowninganguishedopen_mouthgrimacingconfusedhushed
    expressionlessunamusedsweat_smilesweatdisappointed_relievedwearypensive
    disappointedconfoundedfearfulcold_sweatperseverecrysob
    joyastonishedscreamtired_faceangryragetriumph
    sleepyyummasksunglassesdizzy_faceimpsmiling_imp
    neutral_faceno_mouthinnocent

Книги




Союз образовательных сайтов