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

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






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

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

Элементы математической логики (2015) Видеокурс

Видеоуроки





Разместил: tel40plus

26-04-2015, 09:52

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





Элементы математической логики (2015) Видеокурс

Умение правильно рассуждать необходимо в любой человеческой деятельности, а особенно в программировании. Данный курс является введением в классическую логику, в нём рассматриваются основы элементарной математической логики, которые будут полезны начинающим программистам. Базовые логические функции представлены в языке C# в виде отдельных операторов языка и часто используются программистами. По завершении курса Вы сможете понимать и использовать базовые логические функции.

Информация о видеокурсе
Название: Элементы математической логики
Год выхода: 2015
Автор (режиссер): ITVDN
Преподаватель: Александр Шевчук
Жанр: Обучающий

Содержание:
01. Классическая логика
02. Высказывания
03. Простые и сложные высказывания
04. Отрицание
05. Конъюнкция высказываний
06. Дизъюнкция высказываний
07. Импликация высказываний
08. Эквиваленция высказываний
09. Антиконъюнкция высказываний
10. Антидизъюнкция высказываний

Продолжительность: 01:27:00
Язык: Русский

Файл
Формат видео: MP4
Качество видео: PCRec
Видео: MPEG-4, 1280x720, ~1201 Kbps, 15.000 fps
Аудио: AAC, 192 Kbps, 44.1 KHz
Размер архива: 690.49 MB


Элементы математической логики (2015) Видеокурс Элементы математической логики (2015) Видеокурс Элементы математической логики (2015) Видеокурс


Скачать Элементы математической логики (2015) Видеокурс









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

Математическая логика. Курс лекций Математическая логика. Курс лекций
Пособие написано в соответствии с действующей программой по математической логике для педагогических вузов. Рассмотрены следующие темы: язык логики высказываний, исчисления высказываний, язык логики предикатов, исчисления предикатов, теории первого

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

Математическая логика Математическая логика
В книге изложены основные классические исчисления математической логики: исчисление высказываний и исчисление предикатов; имеется краткое изложение основных понятий теории множеств и теории алгоритмов. Ряд разделов книги — теория моделей и теория

Основы высшей математики и математической статистики Основы высшей математики и математической статистики
В учебнике изложен курс высшей математики фармацевтического факультета, включающий основные элементарные функции, дифференциальное исчисление функции одной переменной, элементы дифференциального исчисления функций нескольких переменных, интегральное

Математическая логика Математическая логика
В настоящее издание включены два учебника А. Н. Колмогорова и А. Г. Драгалина "Введение в математическую логику" и "Математическая логика. Дополнительные главы», ранее издававшиеся по отдельности. Они содержат классическое изложение понятий и

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

Пензов Ю.П. - Элементы математической логики и теории множеств (учебник) Пензов Ю.П. - Элементы математической логики и теории множеств (учебник)
Описание: Настоящая книга является обработкой лекций, которые автор читал в Саратовском университете в 1962-66 гг. В параграфе 1 вводятся основные понятия теории множеств. В параграфах 2 и 3 излагаются элементы содержательного исчисления

Гохман А.В. - Сборник задач по математической логике и алгебре множеств Гохман А.В. - Сборник задач по математической логике и алгебре множеств
Описание: Предлагаемый сборник задач составлен в соответствии с программой университетского курса "Элементы математической логики и алгебры множеств".

Роберт Столл - Множества. Логика. Аксиоматические теории Роберт Столл - Множества. Логика. Аксиоматические теории
Описание: В книге дается элементарное изложение важнейших понятий, идей, методов и результатов теории множеств (включая алгебру операций надмножествами).

Ерусалимский Я.М. - Дискретная математика Ерусалимский Я.М. - Дискретная математика
Описание: Учебное пособие по дискретной математике. Содержит разделы: алгебра высказываний, алгебра предикатов и множеств, отображения, элементы комбинаторики, отношения, булевы функции, элементы теории графов. Отдельный раздел составляют задачи и




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





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

Ваше Имя:
Ваш 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

Книги




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