Является ли год високосным

@DmitryM5 · Регистрация: 27.08.2013

Студворк — интернет-сервис помощи студентам

Високосным считается год, делящийся на 4, за исключением тех годов, которые делятся на 100 и
не делятся на 400 (например, годы 300, 1300 и 1900 не являются високосными,
а 1200 и 2000 — являются).
Не пойму что не так и как нужно,заранее спасибо!

Haskell
1
2
isLeapYear :: Int -> Bool
isLeapYear a b = (a mod 4 == 0) && (a mod 100 /= 0) || (a mod 400 == 0)

Добавлено через 24 минуты
Вторая попытка тоже не удалась..

Haskell
1
2
3
4
isLeapYear :: Int -> Bool
isLeapYear a 
 | (a mod 4 == 0) && (a mod 100 /= 0) || (a mod 400 == 0) = True
 | otherwise = False

@Fonduee · 13.09.2015, 00:23

Haskell
1
2
isLeapYear :: Int -> Bool
isLeapYear n = mod n 400 == 0 || (mod n 4 == 0 && mod n 100 /= 0)

@Araneo · 13.09.2015, 03:09

Fonduee, а ничего что в общем случае утверждение ниже не верно?

Haskell
1
a || (b && not c) == (a && (not b || c))

тоже самое к ТС.

Haskell
1
(a && (b || c)) == ((a && b) || c)

в общем случае не верно. Ну и синтаксис языка...

Теперь код.

Haskell
1
2
isLeapYear :: Integral a => a -> Bool
isLeapYear a = a `mod` 4 == 0 && (a `mod` 100 /= 0 || a `mod` 400 == 0)

@Fonduee · 13.09.2015, 10:12

Сообщение от Araneo

Fonduee, а ничего что в общем случае утверждение ниже не верно?

А ничего, что вы правило де Моргана неверно применили? Или к чему вся эта инверсия?

Haskell
1
2
Prelude> [x | x <- [1804..2020], mod x 400 == 0 || (mod x 4 == 0 && mod x 100 /= 0)]
[1804,1808,1812,1816,1820,1824,1828,1832,1836,1840,1844,1848,1852,1856,1860,1864,1868,1872,1876,1880,1884,1888,1892,1896,1904,1908,1912,1916,1920,1924,1928,1932,1936,1940,1944,1948,1952,1956,1960,1964,1968,1972,1976,1980,1984,1988,1992,1996,2000,2004,2008,2012,2016,2020]

Какой же из вышеперечисленных годов не високосный?

@Araneo · 13.09.2015, 12:42

Fonduee, прошу прощения, дело было ночью в 2-3 часа, то что подвыражения переставлены местами я тогда не увидел.

Новые блоги и статьи Все статьи Все блоги /
Музыка, написанная Искусственным Интеллектом volvo 04.12.2025 Всем привет. Некоторое время назад меня заинтересовало, что уже умеет ИИ в плане написания музыки для песен, и, собственно, исполнения этих самых песен. Стихов у нас много, уже вышли 4 книги, еще 3. . .	От async/await к виртуальным потокам в Python IndentationError 23.11.2025 Армин Ронахер поставил под сомнение async/ await. Создатель Flask заявляет: цветные функции - провал, виртуальные потоки - решение. Не threading-динозавры, а новое поколение лёгких потоков. Откат?. . .	Поиск "дружественных имён" СОМ портов Argus19 22.11.2025 Поиск "дружественных имён" СОМ портов На странице: https:/ / norseev. ru/ 2018/ 01/ 04/ comportlist_windows/ нашёл схожую тему. Там приведён код на С++, который показывает только имена СОМ портов, типа,. . .	Сколько Государство потратило денег на меня, обеспечивая инсулином. Programma_Boinc 20.11.2025 Сколько Государство потратило денег на меня, обеспечивая инсулином. Вот решила сделать интересный приблизительный подсчет, сколько государство потратило на меня денег на покупку инсулинов. . . .	Ломающие изменения в C#.NStar Alpha Etyuhibosecyu 20.11.2025 Уже можно не только тестировать, но и пользоваться C#. NStar - писать оконные приложения, содержащие надписи, кнопки, текстовые поля и даже изображения, например, моя игра "Три в ряд" написана на этом. . .
Мысли в слух kumehtar 18.11.2025 Кстати, совсем недавно имел разговор на тему медитаций с людьми. И обнаружил, что они вообще не понимают что такое медитация и зачем она нужна. Самые базовые вещи. Для них это - когда просто люди. . .	Создание Single Page Application на фреймах krapotkin 16.11.2025 Статья исключительно для начинающих. Подходы оригинальностью не блещут. В век Веб все очень привыкли к дизайну Single-Page-Application . Быстренько разберем подход "на фреймах". Мы делаем одну. . .	Фото: Daniel Greenwood kumehtar 13.11.2025	Расскажи мне о Мире, бродяга kumehtar 12.11.2025 — Расскажи мне о Мире, бродяга, Ты же видел моря и метели. Как сменялись короны и стяги, Как эпохи стрелою летели. - Этот мир — это крылья и горы, Снег и пламя, любовь и тревоги, И бескрайние. . .	PowerShell Snippets iNNOKENTIY21 11.11.2025 Модуль PowerShell 5. 1+ : Snippets. psm1 У меня модуль расположен в пользовательской папке модулей, по умолчанию: \Documents\WindowsPowerShell\Modules\Snippets\ А в самом низу файла-профиля. . .

@Araneo 650 / 260 / 16 Регистрация: 02.03.2014 Сообщений: 587
	13.09.2015, 12:42
	Fonduee, прошу прощения, дело было ночью в 2-3 часа, то что подвыражения переставлены местами я тогда не увидел. 0