Сообщение

Введение в логику [2014, Видеолекции, WebRip, RUS]

Сообщение Stepan » 08 апр 2018, 00:10

Введение в логику
Год выпуска: 2014
Страна: Казахстан
Производитель: Hexlet
Сайт производителя: https://hexlet.org
Автор: Роман Добровенский, Рахим Давлеткалиев
Продолжительность: 02:18:00
Тип раздаваемого материала: Видеоурок
Язык: Русский
Описание: Введение в математическую логику. Курс основан на первой главе Учебника по математике Романа Добровенского. Раздача содержит слайды к лекциям в формате PDF.
Классическая логика является формальной основой для 99% современной математики. Не смотря на то, что логика вроде бы как-то стоит особняком от остальной математики, есть все же несколько теорем, которые интересны широким слоям населения. Доказательство их в курсе так же надеюсь будет приятным занятием.
Математическая логика в современном мире является довольно базовым знанием, которое в скором времени скорее всего будут преподавать во всех школах. Простой пример: любая база данных является множеством, а пользователь, задавая вопрос базе данных, на самом деле на специализированном языке формулирует предикат. Эту операцию выполняет часто и продвинутый бухгалтер и юрист, и финансист, только они чаще всего не знают слов типа «подмножество» и «предикат». Понимание логики и теории множеств может здорово упростить им работу, если они захотят более подробно изучать работу с базами данных (что не сложно). Можно привести более сложные примеры с языками программирования, но это уже в общем-то дебри относительно нашего курса, поэтому не будем углябляться. Просто скажем, что все же эти знания пусть и не в чистом виде, но могут оказаться полезны.
1. Базовые понятия логики, логические операции, наша первая теорема и закон Де Моргана.
2. Представление функций через базовые операции.
3. Рассматриваем решение "Самой сложной логической задачи"
4. Предикаты, кванторы, множества и подмножества.
5. Рассматриваем систему математических доказательств.
6. Парадоксы классической логики и заключение.
Качество WebRip
Формат видео: MOV
Видео: AVC, H.264, 1920x1080, 16:9, 60.000 fps, 663 Kbps
Аудио: AAC, 48.0 KHz, 256 Kbps, 2 channels
General
Complete name : Logic Lecture 5.mov
Format : MPEG-4
Format profile : QuickTime
Codec ID : qt
File size : 226 MiB
Duration : 35mn 25s
Overall bit rate : 891 Kbps
Encoded date : UTC 2014-02-04 15:31:19
Tagged date : UTC 2014-02-04 15:31:25
Writing library : Apple QuickTime
com.apple.quicktime.make : Apple
com.apple.quicktime.model : MacBookPro6,2
com.apple.quicktime.software : Mac OS X 10.9 (13A603)
com.apple.quicktime.creationdate : 2014-02-04T20:51:54+0600
Video
ID : 1
Format : AVC
Format/Info : Advanced Video Codec
Format profile : Main@L4.1
Format settings, CABAC : Yes
Format settings, ReFrames : 2 frames
Codec ID : avc1
Codec ID/Info : Advanced Video Coding
Duration : 35mn 25s
Bit rate : 663 Kbps
Width : 1 920 pixels
Height : 1 080 pixels
Display aspect ratio : 16:9
Frame rate mode : Variable
Frame rate : 12.927 fps
Minimum frame rate : 2.500 fps
Maximum frame rate : 60.000 fps
Color space : YUV
Chroma subsampling : 4:2:0
Bit depth : 8 bits
Scan type : Progressive
Bits/(Pixel*Frame) : 0.025
Stream size : 168 MiB (74%)
Title : Core Media Video
Encoded date : UTC 2014-02-04 15:31:19
Tagged date : UTC 2014-02-04 15:31:25
Color primaries : BT.709
Transfer characteristics : BT.709
Matrix coefficients : BT.709
Audio
ID : 2
Format : AAC
Format/Info : Advanced Audio Codec
Format profile : LC
Codec ID : 40
Duration : 35mn 25s
Source duration : 35mn 25s
Bit rate mode : Constant
Bit rate : 224 Kbps
Nominal bit rate : 256 Kbps
Channel count : 1 channel
Channel positions : Front: C
Sampling rate : 48.0 KHz
Compression mode : Lossy
Delay relative to video : 611ms
Stream size : 56.8 MiB (25%)
Source stream size : 56.8 MiB (25%)
Title : Core Media Audio
Encoded date : UTC 2014-02-04 15:31:19
Tagged date : UTC 2014-02-04 15:31:25
Доп. информация: Это официальная раздача от автора курса и преподавателя Hexlet.org.

Постеры

Соцсети

 

Статистика

Автор: Stepan
Добавлен: 08 апр 2018, 00:10
Размер: 691.45 МБ
Размер: 725 042 212 байт
Сидеров: 2
Личеров: 1
Скачали: 0
Здоровье: 100%
Раздающих: 100%
Статус:
Скорость скачивания: 0 байт/сек
Скорость раздачи: 0 байт/сек
Последний сидер: 5 месяцев 5 дней 14 часов 11 минут 3 секунды назад
Последний личер: 5 месяцев 5 дней 14 часов 11 минут 3 секунды назад
Приватный: Нет (DHT включён)
Школьникам, студентам и педагогам Скачать торрент
Скачать торрент
[ Размер 28.03 КБ / Просмотров 1 ]

Поделиться



  • Похожие торренты
    Ответы
    Просмотры
    Последнее сообщение

Вернуться в Школьникам, студентам и педагогам