Рабочая группа стихийно сформировалась в процессе разросшегося обсуждения на Википедия:Статьи для рецензирования. Имеет смысл расширить тематику, включив Троичную логику.
Цели править
Дописать и упорядочить некоторые статьи касающиеся булевой алгебры:
- булева формула ➜ булева функция (?);
- решить проблему статьи логика высказываний (нужна ли в таком виде?);
- везде конкретно оговорить особенности и взаимосвязь с другими объектами.
Систематизировать терминологию и стиль: до какой степени термины из информатики могут быть использованы в математическом тексте, и насколько математично следует писать о программировании и цифровой технике.
Разобраться со статьёй битовые операции:
- что и куда надо оттуда извлекать;
- выяснить правомерность употребления термина «битовый вектор» и решить проблему «булевы» vs «битовые» операции;
- Заодно как следует дописать статью — более внятные примеры и про программирование.
Прояснить отношения между битовыми и логическими операциями, сводится ли различие между ними к проблеме «содержание vs форма».
Подумать насчёт популярного текста про одноименные операторы И/ИЛИ/НЕ - с точки зрения логики, битов и множеств.
Затрагиваемые дисциплины править
Нужно быть аккуратным и различать 5 дисциплин и показать их связь:
- Логика
- Математика
- Информатика
- Программирование
- Схемотехника.Цифровые системы
- Теория алгоритмов
- Криптография
Пока это все очень переплетается в едином смутном изложении, не хватает строгих границ и различия в терминологии, а главное употребления ее в соответствующем контексте.
Участники править
- MarLex - иногда буду исчезать из-за проблем с интернетом...
- Хацкер
Incnis Mrsiутратил интерес к русской Википедии. Надеюсь, был хоть чем-то полезен. Incnis Mrsi 15:21, 15 марта 2009 (UTC)- Kv75 — по мере сил буду способствовать конструктивной критикой ;)
- S.J. 10:07, 14 января 2010 (UTC) - думаю еще актуально, обращайтесь - помогу
- maxal — поучаствую (хотя бы критикой) по мере сил. Maxal 19:23, 14 января 2010 (UTC)
- Попробую как-то реанимировать проект и систематизировать материал, --OZH 20:07, 16 января 2010 (UTC)