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

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

Вы можете поддержать нас, покупая игры через эти ссылки, спасибо :)

❂видео ориентированы на слепых пользователей
❂Текст доступен по CC-BY-SA
❂источник изображения внутри видео