Математическая логика

Математическая логика Математи́ческая ло́гика — раздел математики, изучающий математические обозначения, формальные системы, доказуемость математических суждений, природу математического доказательства в целом, вычислимость и прочие аспекты оснований математики.В более широком смысле рассматривается как математизированная ветвь формальной логики — «логика по предмету, математика по методу», «логика, развиваемая с помощью математических методов». Вы можете поддержать нас, покупая игры через эти ссылки, спасибо :) G2A: https://www.g2a.com/r/13b5d Instant Gaming: http://www.instant-gaming.com/en/igr2398139/ ❂видео ориентированы на слепых пользователей ❂Текст доступен по CC-BY-SA ❂источник изображения внутри видео