Файл:BDD simple.svg
Размер этого PNG-превью для исходного SVG-файла: 189 × 241 пкс. Другое разрешение: 1606 × 2048 пкс.
Исходный файл (SVG-файл, номинально 189 × 241 пкс, размер файла: 5 КБ)
Описание
| Описание | BDD graph for the Boolean formula -x1 * -x2 * -x3 + x1 * x2 + x2 * x3 |
|---|---|
| Источник | self-made using CrocoPat, a tool for relational programming, and GraphViz dot, a tool for graph layout |
| Время создания | 2005-10-20 |
| Автор или правообладатель | Dirk Beyer — Лицензия: CC BY-SA 3.0 (Creative Commons Attribution-Share Alike 3.0) http://creativecommons.org/licenses/by-sa/3.0/ |
Источник файла — сайт Wikimedia Commons, куда он был загружен под одной из свободных лицензий ( https://commons.wikimedia.org/wiki/File:BDD_simple.svg ). Авторов, работавших над этим файлом см. в истории файла: https://commons.wikimedia.org/w/index.php?title=File:BDD_simple.svg&action=history
В общем случае в статьях энциклопедии Руниверсалис файлы используются в соответствии со статьёй 1274 Гражданского кодекса Российской Федерации.
История файла
Нажмите на дату/время, чтобы увидеть версию файла от того времени.
| Дата/время | Миниатюра | Размеры | Участник | Примечание | |
|---|---|---|---|---|---|
| текущий | 14:27, 27 сентября 2023 | | 189 × 241 (5 КБ) | I, Robot (обсуждение | вклад) | == Описание == {{Изображение | описание = BDD graph for the Boolean formula -x1 * -x2 * -x3 + x1 * x2 + x2 * x3 | источник = self-made using [http://directory.fsf.org/math/CrocoPat.html CrocoPat], a tool for relational programming, and GraphViz dot, a tool for graph layout | время создания = 2005-10-20 | автор = [https://commons.wikimedia.org/wiki/User:Dirk_Beyer Dirk Beyer] — Лицензия: CC BY-SA 3.0 (Creative Commons Attribution-Share Alike 3.0) http://creativecommons.org/licenses/by-sa/... |
Вы не можете перезаписать этот файл.
Использование файла
Следующий файл является дубликатом этого файла (подробности):
- Файл:BDD simple.svg из на Викискладе
Следующая страница использует этот файл:
