MIPT-ML-24-Lect-sn2
Математическая логика в МФТИ для ИВТ. Темы: прнцип Дирихле; мощность конечного множества; принцип, двойственный принципу Дирихле и др. родственные утверждения; любое множество, куда вкладывается счетное, бесконечно; если множество вкладывается в счетное, то оно конечно или счетно (идея доказательства); правила суммы и произведения с их следствиями (для мощностей множеств A U B, B^A, A^n, \P(A) при конечных A и B); равномощность множеств наборов и функций с конечной областью определения; натуральный ряд вкладывается в каждое бесконечное множество (идея доказательства).
Математическая логика в МФТИ для ИВТ. Темы: прнцип Дирихле; мощность конечного множества; принцип, двойственный принципу Дирихле и др. родственные утверждения; любое множество, куда вкладывается счетное, бесконечно; если множество вкладывается в счетное, то оно конечно или счетно (идея доказательства); правила суммы и произведения с их следствиями (для мощностей множеств A U B, B^A, A^n, \P(A) при конечных A и B); равномощность множеств наборов и функций с конечной областью определения; натуральный ряд вкладывается в каждое бесконечное множество (идея доказательства).