0 / 0 / 1
Регистрация: 20.10.2013
Сообщений: 233
|
|
Доказать, что мощность множества счетна25.12.2014, 19:31. Показов 872. Ответов 2
Метки нет Все метки)
(
0
|
25.12.2014, 19:31 | |
Ответы с готовыми решениями:
2
|
Диссидент
![]() ![]() 27710 / 17328 / 3810
Регистрация: 24.12.2010
Сообщений: 38,979
|
|
26.12.2014, 01:02 | |
q/p - вот и все рациональные числа. Знаменатель(p) по оси X, числитель(q) по оси Y. Сеточка такая получается. Ну, и обходим ее полукружиями. Считаем q >=0 (от этого мало что изменится) и поехали. Все рациональные числа в наш обход попадут. И некоторые даже много раз. Но этого уже достаточно для доказательства.
ЗЫ. Очень старинная техника ![]()
0
|
0 / 0 / 1
Регистрация: 20.10.2013
Сообщений: 233
|
|
26.12.2014, 11:47 [ТС] | |
Байт, Спасибо
![]()
0
|
26.12.2014, 11:47 | ||||||
Помогаю со студенческими работами здесь
3
Доказать что множества X и Y равномощны, построим взаимно однозначное соответствие Доказать, что образ рекурсивного множества при отображении рекурсивной функцией не обязательно рекурсивен Доказать, что модуль разности расстояний двух точек до множества не превосходит расстояния между самими точками Доказать, что мощность сепарабельного метрического пространства не может быть больше, чем мощность континуума Искать еще темы с ответами Или воспользуйтесь поиском по форуму:
|
|
Новые блоги и статьи
![]() |
||||
Антипаттерны микросервисной архитектуры
ArchitectMsa 03.04.2025
Хорошо спроектированная микросервисная система может выдержать испытание временем, оставаясь гибкой, масштабируемой и устойчивой к большинству проблем. Такая архитектура обладает высоким уровнем. . .
|
std::mutex в C++: Советы и примеры использования
bytestream 03.04.2025
std::mutex - это механизм взаимного исключения, который гарантирует, что критический участок кода выполняется только одним потоком в каждый момент времени. Это простое, но могущественное средство. . .
|
Не удержался от оценки концепции двигателя Стирлинга.
Hrethgir 03.04.2025
Сколько не пытался - она выдавала правильные схемы, причём случайно рисовала горячие области в середине, холодные по краям, трубки с краёв в низ и магнит в соединяющей, но при этой выдавала описание. . .
|
Метод с двумя буферами (или double buffering) или ping-pong buffering
Hrethgir 02.04.2025
Из ответов LM модели.
Метод, который предполагает использование двух массивов для хранения промежуточных результатов сложения векторов, обычно применяется в сценариях, где необходимо минимизировать. . .
|
На любовном киберфронте
Alexander-7 01.04.2025
Недавно на одном малоизвестном сайте знакомств мною заинтересовалась девушка:
«Текст немного странный. Но, судя по адресу почты, иностранка», – подумал я. Поколебавшись пару суток, я ответил ей:. . .
|
Как работает Node.js изнутри
run.dev 29.03.2025
Node. js изменил подход к разработке веб-приложений, позволив использовать JavaScript не только на стороне клиента, но и на сервере. Созданный в 2009 году Райаном Далем, этот открытый,. . .
|
Моки в Python: Mock Object Library
py-thonny 29.03.2025
Тестирование кода требует особого подхода, когда речь идёт о компонентах, взаимодействующих с внешним миром. Мы часто сталкиваемся с непредсказуемостью HTTP-запросов, чтением данных из базы или. . .
|
JavaScript: Управление памятью и улучшение производительности
run.dev 29.03.2025
В отличие от низкоуровневых языков программирования, JavaScript не требует ручного выделения и освобождения памяти. Здесь работает автоматический сборщик мусора, который определяет, какие объекты. . .
|
Мультитенантная архитектура со SpringBoot и PostgreSQL
ArchitectMsa 29.03.2025
SaaS-приложения редко обслуживают одного клиента и обычно они должны поддерживать множество организаций, каждая из которых работает в своём изолированном пространстве. Мультитенантная архитектура. . .
|
std::span в C++: Производительность и лучшие практики
NullReferenced 28.03.2025
std::span — одно из самых недооценённых нововведений стандарта C++20, которое радикально меняет подход к работе с непрерывными последовательностями данных. По сути, это невладеющее представление. . .
|