Помогите решить выражение с модулем! № 953 Математика 6 класс Виленкин. – Рамблер/класс
Помогите решить выражение с модулем! № 953 Математика 6 класс Виленкин. – Рамблер/классИнтересные вопросы
Школа
Подскажите, как бороться с грубым отношением одноклассников к моему ребенку?
Новости
Поделитесь, сколько вы потратили на подготовку ребенка к учебному году?
Школа
Объясните, это правда, что родители теперь будут информироваться о снижении успеваемости в школе?
Школа
Когда в 2018 году намечено проведение основного периода ЕГЭ?
Новости
Будет ли как-то улучшаться система проверки и организации итоговых сочинений?
Вузы
Подскажите, почему закрыли прием в Московский институт телевидения и радиовещания «Останкино»?
Найдите значение выражения:
а) | -8| — |-5|;
б) | -10| ∙ |-15|;
в) |240| : |-80|;
д) |-2,3| + |3,7|;
е) |-4,7| — 1-1,9|;
ж) |28,52| : |-2,3|;
з) |0,1| ∙ |-10|;
ответы
а) | — 8| — | — 5| = 8 — 5 = 3;
б) | — 10| • | — 15| = 10 • 15 = 150;
в) |240| : | — 80| = 240 : 80 = 3;
г) |-710| + | — 290| = 710 + 290 = 1000;
д) |-2,3| + |3,7| = 2,3 + 3,7 = 6;
е) | — 4,7| — | — 1,9| = 4,7 — 1,9 = 2,8;
ваш ответ
Можно ввести 4000 cимволов
отправить
дежурный
Нажимая кнопку «отправить», вы принимаете условия пользовательского соглашения
похожие темы
Психология
3 класс
5 класс
Репетитор
похожие вопросы 5
Приветик! Кто решил? № 411 Математика 6 класс Виленкин.
Выполните вычисления с помощью микрокалькулятора и резуль-
3,281 ∙ 0,57 + 4,356 ∙ 0,278 — 13,758 (Подробнее…)
ГДЗМатематика6 классВиленкин Н.Я.
678. Изобразите этот круг, проведите диаметр, радиус и укажите их длины. 6 класс Мордкович математика ГДЗ
678. Площадь круга равна:
а) 28,26 см2; б) 113,04 см2; в) 0,5024 дм2; г) 78,5 см2.
Изобразите этот круг, (Подробнее…)
ГДЗМордкович А.Г.Алгебра6 класс
Помогите выбрать утверждения. Математика базовый уровень ЕГЭ — 2017. Вар.№1. Зад.№18. Под руководством Ященко И.В.
Здравствуйте! Перед волейбольным турниром измерили рост игроков волейбольной команды города N. Оказалось, что рост каждого из (Подробнее…)
ЕГЭЭкзаменыМатематикаЯщенко И.В.
16. Расставьте все знаки препинания: укажите цифру(-ы), на месте которой(-ых)… Цыбулько И. П. Русский язык ЕГЭ-2017 ГДЗ.
16.
Расставьте все знаки препинания: укажите цифру(-ы), на месте которой(-ых)
в предложении должна(-ы) стоять запятая(-ые). (Подробнее…)
ГДЗЕГЭРусский языкЦыбулько И.П.
ЕГЭ-2017 Цыбулько И. П. Русский язык ГДЗ. Вариант 13. 18. Расставьте все знаки препинания: укажите цифру(-ы), на месте которой(-ых)…
18.
Расставьте все знаки препинания: укажите цифру(-ы), на месте которой(-ых)
в предложении должна(-ы) стоять запятая(-ые). (Подробнее…)
ГДЗЕГЭРусский языкЦыбулько И.П.
ГДЗ учебник по математике 6 класс Зубарева. 8. Правило вычисления значения алгебраической суммы двух чисел Номер 258
- Учебники
- 6 класс org/ListItem»>Математика 👍
- Зубарева
- №258
авторы: Зубарева, Мордкович.
издательство: «Мнемозина» 2014 год
Раздел:
- Предыдущее
- Следующее
1) Найдите значения выражений (запишите ответ в виде равенства):
−6−8−6+8+6+8+6−8−2−11−2+11+11+2−11+2
2) В полученных равенствах представьте левую часть в виде суммы.
3) Что можно сказать о знаках слагаемых первого столбца? второго столбца?
4) В каждом случае сравните знак суммы со знаками слагаемых. Сделайте вывод.
5) Для выражения первого столбца найдите модуль суммы и сумму модулей слагаемых. Сравните полученные результаты. Сделайте вывод.

7) Постарайтесь сформулировать правило нахождения знака суммы и модуля суммы, если слагаемые имеют:
а) одинаковые знаки;
б) разные знаки.
8) Используя это правило, найдите значения выражений:
(+16) + (+4)
(+16) + (−4)
(−16) + (−4)
(−16) + (+4)
(+8) + (+2)
(−8) + (−2)
(−8) + (+2)
(+8) + (−2)
7 + 12
7 − 12
−7 + 12
−7 − 12
15 + 11
−15 + 11
−15 − 11
15 − 11
reshalka.com
Решение 1
−6 − 8 = −14;
+6 + 8 = 14;
−2 − 11 = −13;
+11 + 2 = 13.
−6 + 8 = 2;
+6 − 8 = −2;
−2 + 11 = 9;
−11 + 2 = −9.
Решение 2
(−6) + (−8) = −14;
(+6) + (+8) = 14;
(−2) + (−11) = −13;
(+11) + (+2) = 13.
(−6) + (+8) = 2;
(+6) + (−8) = −2;
(−2) + (+11) = 9;
(−11) + (+2) = −9.
Решение 3
В первом столбце слагаемые имеют одинаковый знак, а во втором − противоположный.
Решение 4
При сложении положительных чисел получается положительное число;
при сложении отрицательных − отрицательное;
при сложении чисел с разными знаками знак сумма будет равен знака слагаемого с большим модулем.
Решение 5
|−14| = 14
|−6| + |−8| = 14
|14| = 14
|+6| + |+8| = 14
|−13| = 13
|−2| + |−11| = 13
|13| = 13
|+11| + |+2| = 13
Решение 6
|2| = 2
|+8| − |−6| = 2
|−2| = 2
|−8| − |+6| = 2
|9| = |9|
|11| − |−2| = 9
|−9| = 9
|−11| − |+2| = 9
Решение 7
а) Знак суммы такой же, как знаки слагаемых; модуль суммы равен сумме модулей слагаемых;
б) Знак суммы такой же, как знак наибольшего по модулю слагаемого; модуль суммы равен разности при вычитании из модуля большего числа модуля меньшего.
Решение 8
(+16) + (+4) = |16| + |4| = 20
(+16) + (−4) = +(|16| − |−4|) = 12
(−16) + (−4) = −(|−16| + |−4|) = −20
(−16) + (+4) = −(|−16| + |4|) = −12
(+8) + (+2) = |8| + |2| = 10
(−8) + (−2) = −(|−8| + |−2|) = −10
(−8) + (+2) = −(|−8| − |2|) = −6
(+8) + (−2) = −(|+8| − |−2|) = 6
7 + 12 = |7| + |12| = 19
7 − 12 = −(|−12| − |7|) = −5
−7 − 12 = −(|−7| + |−12|) = −19
15 + 11 = |15| + |11| = 26
−15 + 11 = −(|−15| − |11|) = −4
−15 − 11 = −(|−15| + |−11|) = −26
15 − 11 = +(|15| − |−11|) = 4
- Предыдущее
- Следующее
Нашли ошибку?
Если Вы нашли ошибку, неточность или просто не согласны с ответом, пожалуйста сообщите нам об этом
7.

- 7.11.1 Простые выражения модуля
- 7.11.2 Конструкции
- 7.11.3 Функторы
|
См. также следующие языковые расширения:
рекурсивные модули,
первоклассные модули,
переопределение в открытых заявлениях,
атрибуты,
узлы расширения и
порождающие функторы.
7.11.1 Простые выражения модуля
Путь к модулю выражения оценивается как модуль, связанный с именем модуль-путь.
Выражение ( module-expr ) возвращает тот же модуль, что и модуль-выраж.
Выражение ( module-expr : module-type ) проверяет, что тип модуля-выражения является подтипом модуля-типа, то есть все компоненты, указанные в типе модуля, реализованы в module-expr, а их реализация соответствует требованиям, заданным в модульном типе. Другими словами, он проверяет, что реализация module-expr соответствует спецификации типа module-type. Целый выражение возвращает тот же модуль, что и модуль-выражение, за исключением того, что все компоненты, не указанные в типе модуля, скрыты и не могут более доступны.
7.11.2 Конструкции
Structures struct … end — это наборы определений для
имена значений, имена типов, исключения, имена модулей и тип модуля
имена.
Для совместимости с фразами верхнего уровня (глава 10), необязательный ;; допускаются после и перед каждым определением в структуре. Эти ;; не имеют смыслового значения. Точно так же выражение, которому предшествует ;; допускается как компонент конструкции. Это эквивалентно пусть _ = expr, т. е. expr равно оценивается по его побочным эффектам, но не привязан к какому-либо идентификатору. Если выражение первый компонент структуры, предшествующий ;; можно опустить.
Определения значений
Определение значения let [rec] let-binding { и let-binding }
связывать имена значений так же, как выражение let … in …
(см. раздел 7.7.1). Имена значений, появляющиеся в
левые части привязок привязаны к соответствующим значениям
в правых сторонах.
Определение значения external value-name : typexpr = external-declaration реализует имя-значения как внешнюю функцию, указанную в external-declaration (см. главу 20).
Определения типов
Записано определение одного или нескольких компонентов типа type typedef { и typedef } и состоит из последовательности взаимно рекурсивных определений имен типов.
Определения исключений
Исключения определяются с помощью синтаксического исключения constr-decl или исключение constr-name = constr.
Определения классов
Определение одного или нескольких классов написано классом class-binding { и class-binding } и состоит из последовательности взаимно рекурсивные определения имен классов. Определения классов подробно описано в разделе 7.9.3.
Определения типов классов
Записано определение одного или нескольких классов
тип класса classtype-def { и classtype-def } и состоит из
последовательность взаимно рекурсивных определений имен типов классов.
Определения модулей
Основная форма для определения компонента модуля: модуль имя_модуля = модуль-выражение, которое оценивает модуль-выражение и привязывает результат к имени имя-модуля.
Можно написать
модуль имя-модуля : тип-модуля = выражение-модуля
вместо
модуль имя-модуля = ( выражение-модуля : тип-модуля ).
Другой производной формой является
модуль имя-модуля ( имя 1 : тип модуля 1 ) … ( имя n : тип модуля n ) = выражение модуля
что эквивалентно
модуль имя-модуля = функтор ( имя 1 : тип модуля 1 ) -> … -> module-expr
Определения типов модулей
Записано определение типа модуля тип модуля modtype-name = module-type. Он связывает имя modtype-name с типом модуля, обозначенным тип модуля выражения.
Открытие пути модуля
Выражение open module-path в структуре не определяет ни одного
компонентов и не выполнять никаких привязок. Это просто влияет на синтаксический анализ
следующие элементы конструкции, позволяющие компонентам
модуль, обозначенный пути к модулю, на который следует ссылаться по их простым именам
имя вместо пути обращается к пути к модулю. имя. Объем
open останавливается в конце выражения структуры.
Включая компоненты другой конструкции
Выражение включает модуль-выражение в структуру реэкспорта в текущая структура все определения структуры, обозначенные модуль-выраж. Например, если идентификатор S привязан к модуль
тип структуры t = int let x = 2 end
выражение модуля
struct include S let y = (x + 1 : t) end
эквивалентно выражению модуля
тип структуры t = S.t пусть x = S.x пусть y = (x + 1 : t) end
Разница между open и include в том, что open
просто предоставляет короткие имена для компонентов открытого
структура, без определения каких-либо компонентов текущей структуры,
в то время как include также добавляет определения для компонентов
включенная структура.
7.11.3 Функторы
Определение функтора
Функтор выражения ( имя-модуля : тип-модуля ) -> module-expr возвращает функтор, который принимает в качестве аргументов модули тип модуль-тип 1 , привязывает имя модуля к этим модулям, оценивает модуль-выражение в расширенной среде и возвращает результирующие модули в качестве результатов. Никаких ограничений на тип аргумент функтора; в частности, функтор может принимать другой функтор как аргумент (функтор более высокого порядка).
Приложение Functor
Выражение module-expr 1 ( module-expr 2 ) оценивает модуль-выражение 1 в функтор и модуль-выражение 2 в модуль, и применяет первое ко второму. Тип модуля-expr 2 обязательно соответствует типу, ожидаемому для аргументов функтора module-expr 1 .
Модульные выражения (модульные реализации)
Выражения модулей (реализации модулей)
|
Выражения модуля являются эквивалентом значения на уровне модуля. выражения: они оцениваются как модули, что обеспечивает реализацию для спецификаций, выраженных в типах модулей.
модуль-расширение | ::= | модуль-путь |
| | struct { определение [;;] } конец | |
| | функтор ( имя-модуля : тип модуля ) -> модуль-выражение | |
| | модуль-выражение ( модуль-выражение ) | |
| | ( модуль-расширение ) | |
| | ( модуль-выражение : тип модуля ) | |
определение | ::= | let [rec] let-binding { и let-binding } |
| | external имя-значения : typeexpr = external-declaration | |
| | определение типа | |
| | определение исключения | |
| | определение класса | |
| | определение типа класса | |
| | модуль имя-модуля { ( имя-модуля : тип модуля ) } [ : тип модуля ] = модуль-выражение | |
| | тип модуля имя-типа-модуля = тип-модуля | |
| | открытый модуль-путь | |
| | включает модуль-расширение |
|
Выражение путь к модулю оценивается как модуль, связанный с именем модуль-путь .
Выражение ( модуль-выражение ) возвращает тот же модуль, что и модуль-выражение .
Выражение ( модуль-выражение : модуль-тип ) проверяет, что тип module-expr является подтипом module-type , то есть все компоненты, указанные в модуле типа , реализованы в module-expr , и их реализация соответствует заданным требованиям в модуль типа . Другими словами, он проверяет, что реализация module-expr соответствует спецификации типа module-type . Целый выражение равно тому же модулю, что и module-expr , за исключением того, что все компоненты, не указанные в модуле типа , скрыты и не могут более доступны.
|
Структуры struct … end представляют собой наборы определений для имена значений, имена типов, исключения, имена модулей и тип модуля имена. Определения оцениваются в том порядке, в котором они появляются в структуре. Объем привязок, выполняемых определения распространяются до конца структуры. Как следствие, определение может ссылаться на имена, связанные более ранними определениями в том же состав.
Для совместимости с фразами верхнего уровня (глава 9) и с Caml Light, дополнительным ;; допускается после каждого определение в структуре. ;; не имеет смыслового значения. Также для совместимость, ;; expr допускается в качестве компонента конструкции, это означает, что пусть _ = expr , то есть оцените expr для его побочных эффектов.
|
Определение значения let [rec] let-binding { and let-binding } связывать имена значений так же, как выражение let.

Определение значения external имя-значения : typeexpr = внешнее объявление реализует имя-значения как внешнюю функцию, указанную в external-declaration (см. главу 18).
|
Записывается определение одного или нескольких компонентов типа type typedef { и typedef } и состоит из последовательности взаимно рекурсивных определений имен типов.
|
Исключения определяются с помощью синтаксического исключения constr-decl или исключение constr-name = constr .

|
Определение одного или нескольких классов пишется class class-binding { и class-binding } и состоит из последовательности взаимно рекурсивные определения имен классов. Определения классов подробно описано в разделе 6.9..3.
|
Записано определение одного или нескольких классов тип класса classtype-def { и classtype-def } и состоит из последовательность взаимно рекурсивных определений имен типов классов. Определения типов классов более подробно описаны в раздел 6.9.5.
|
Основная форма для определения компонента модуля: модуль имя модуля = модуль-выражение , который оценивает модуль-выражение и связывает результат на имя имя модуля .

Можно написать
модуль имя-модуля : тип модуля = модуль-выражение
вместомодуль имя-модуля = ( модуль-выражение : модуль типа ).
Другой производной формой являетсямодуль имя модуля ( имя 1 : тип модуля 1 ) … ( имя n : тип модуля n ) = модуль-выражение
что эквивалентномодуль имя-модуля = функтор ( имя 1 : тип модуля 1 ) -> … -> модуль-выражение
|
Записано определение типа модуля тип модуля имя-типа-модуля = тип-модуля . Он связывает имя modtype-name с типом модуля, обозначенным выражение тип модуля .

|
Выражение open module-path в структуре не определяет никаких компонентов и не выполнять никаких привязок. Это просто влияет на синтаксический анализ следующие элементы конструкции, позволяющие компонентам модуль, обозначенный , путь к модулю , на который следует ссылаться по их простым именам имя вместо пути доступа модуль-путь . имя . Объем open останавливается в конце выражения структуры.
|
Выражение включает модуль-выражение в структуру реэкспорта в текущая структура все определения структуры, обозначенные модуль-выражение . Например, если идентификатор S привязан к модуль
тип структуры t = int let x = 2 endвыражение модуля
struct include S let y = (x + 1 : t) endэквивалентно выражению модуля
тип структуры t = int пусть x = 2 пусть y = (x + 1 : t) endРазница между open и include заключается в том, что open просто предоставляет короткие имена для компонентов открытого структура, без определения каких-либо компонентов текущей структуры, в то время как include также добавляет определения для компонентов включенная структура.

|
|
Функтор выражения ( имя-модуля : тип-модуля ) -> модуль-выражение возвращает функтор, который принимает в качестве аргументов модули тип модуль-тип 1 , привязывает имя модуля к этим модулям, оценивает модуль-выражение в расширенной среде и возвращает результирующие модули в качестве результатов. Никаких ограничений на тип аргумент функтора; в частности, функтор может принимать другой функтор как аргумент (функтор «высшего порядка»).
|
Выражение модуль-выражение 1 ( модуль-выражение 2 ) оценивает модуль-выражение 1 в функтор и модуль-выражение 2 в модуль, и применяет первое ко второму.
