Зеленым отмечены синонимы, присутствующие в словаре. Красным отмечены синонимы, отсутствующие в словаре.
Зеленым отмечены антонимы, присутствующие в словаре. Красным отмечены антонимы, отсутствующие в словаре.
Там есть здоровая соревновательность, некоторый пафос ученичества — уважения и противостояния учителям, политическая корректность так и прёт, взаимовыручка и взаимопомощь, благородство в поступках, высмеивается пустое аристократическое чванство и порицается бюрократия, прививаются кое-какие хорошие манеры и так далее.
Источник: 08677 АнтиПоттер
С миллениума по 2010 год образовалось какое-то новое викторианство — в глобальном масштабе, на основе разлетевшейся, как тополиный пух, чёртовой PC — политической корректности.
Источник: 17808 Антисексус
Отказать напрямую странам бывшего СССР нельзя (политическая корректность не позволяет, равно как и приверженность к пропаганде).
Источник: 03870 Бегство от географии
«Настоящий конституционный закон скреплён подписями председателя сената парламента Токаева Касым-Жомарта, председателя мажилиса парламента Мухамеджанова Урала, премьер-министра Масимова Карима, что свидетельствует о юридической корректности настоящего конституционного закона и о юридической ответственности этих должностных лиц за его законность»,
Источник: Не хочется, а надо
О корректности "цитирования"
Источник: 0254482 О корректности "цитирования"
При этом необходимо следование принципам взаимоуважения, честности и корректности в межрелигиозных и мировоззренческих диалогах.
Источник: Приговор Pussy Riot
В случае, произошедшем 21 февраля 2012 года в Кафедральном Соборе Храме Христа Спасителя, хулиганки были очень далеки от взаимоуважения и корректности в своих действиях.
Источник: Приговор Pussy Riot
В общем-то тема курса является развитием идей Хоора и предоставляет удобный инструмент для доказательства корректности программ с указателями.
Источник: 016344 Как я провел прошлое лето. Марктобердорф (часть 3, заключительная).
1. Если статическая типизация может доказать, что необходимые для корректности свойства программы не выполняются, то это должно приводить к ошибкам компиляции.
Источник: 003540 Еще про статическую типизацию
2. Если статическая типизация не может доказать, что необходимое для корректности программы свойство выполняется, то это не должно быть ошибкой компиляции, а warning'ом.
Источник: 003540 Еще про статическую типизацию
под корректными программами подразумеваю такие программы, для которых выполняются все свойства из множества свойств, определяющих корректность получаемых результатов и корректность исполнения, независимо от того, доказуемы ли эти свойства или нет.
Источник: 003540 Еще про статическую типизацию
под корректными программами подразумеваю такие программы, для которых выполняются все свойства из множества свойств, определяющих корректность получаемых результатов и корректность исполнения, независимо от того, доказуемы ли эти свойства или нет.
Источник: 003540 Еще про статическую типизацию
• полнота и достоверность исходной информации, корректность (точность) формулировок решаемой задачи.
Источник: Основы системного проектирования
Однако анализ принципа позволяет установить резервы развития использующей его объекта и пути его совершенствования, проверить корректность модели функционирования.
Источник: Основы системного проектирования