{"id":314,"date":"2017-10-25T19:14:43","date_gmt":"2017-10-25T19:14:43","guid":{"rendered":"http:\/\/bacon.umcs.lublin.pl\/~wolsk\/?page_id=314"},"modified":"2026-01-13T10:28:25","modified_gmt":"2026-01-13T10:28:25","slug":"it-2-0","status":"publish","type":"page","link":"https:\/\/bacon.umcs.lublin.pl\/~wolsk\/?page_id=314","title":{"rendered":"IT 2.0"},"content":{"rendered":"

Romeo and Juliet<\/a><\/p>\n

Beamer: source file<\/a><\/p>\n\n\n

<\/p>\n\n\n\n

PowerShell Scripting<\/h3>\n

<\/p>\n

<\/p>\n

\nParam\n(\n[Parameter(Mandatory=$True)][float]$number,\n[Parameter(Mandatory=$True)][int]$modulus\n)\nFunction compute\n{\nParam(\n[Parameter(Mandatory=$True)][float]$number, \n[Parameter(Mandatory=$True)][int]$modulus\n)\n$counter = 1
if ($modulus -eq 0) {\"error: no solutions\"} else {
$mod = if ($modulus -gt 0) {$modulus} else {-1 * $modulus}
$num = if ($number -gt 0) {$number} else {-1 * $number}
while ($counter * $mod -le $num) {$counter++}\n$final = $num - (($counter - 1) * $mod) ; if ($final -eq 0) {0}
elseif ($number -gt 0 -and $modulus -gt 0) {$final}
elseif ($number -lt 0 -and $modulus -gt 0) {$mod - $final}
elseif ($number -lt 0 -and $modulus -lt 0) {-1 * $final}
elseif ($number -gt 0 -and $modulus -lt 0) {-1 * ($mod - $final)}<\/p>\n}\ncompute $number $modulus\n<\/pre>\n\n\n
Param (\n[string]$path = $(Read-Host \"The path to the play, please\"),\n[string]$hero = $(Read-Host \"The Name of the hero please\"),\n[string]$first_key_word = $(Read-Host \"The first key-word please\"),\n[string]$second_key_word = $(Read-Host \"The first key-word please. Otherwise hit Enter\")\n)\n$counter = 1\n$play = [xml](Get-Content \"$path.xml\")\n$play.play.act | ForEach-Object {$act = $PSItem\nforeach ($scene in $act.scene)\n{ foreach ($speech in $scene.speech)\n{if ($speech.speaker -match $hero `\n-and ($speech.line -replace '[,\\.-\\:]') -match $first_key_word  `\n-and ($speech.line -replace '[,\\.-\\:]') -match $second_key_word)\n{\"`n$counter`n$($act.title)`n$($scene.title)`n$($speech.speaker)`n\"\n$speech.line ; \"`n\"\n$counter = $counter + 1}}}}\n\n\n<\/pre>\n\n\n
LaTeX (simple)<\/h2>\n\n\n
\\documentclass[12pt]{article}\n\n%\\usepackage{polski}\n\n\\usepackage[utf8]{inputenc}\n\\usepackage[T1]{fontenc}\n\n\\usepackage{comment}\n\\usepackage{csquotes}\n\n\n\\usepackage{graphicx} % Required for inserting images\n\\usepackage{blindtext}\n\\usepackage{wrapfig}\n\n\n\\usepackage{array}\n\\newcolumntype{C}[1]{>{\\centering\\arraybackslash}p{#1}}\n\\newcolumntype{R}[1]{>{\\raggedleft\\arraybackslash}p{#1}}\n\\usepackage{enumerate}\n\n\\usepackage{lettrine}\n\n%\\usepackage{fontspec}\n\n\\title{2025IT}\n\\author{maarten.wolski }\n\\date{November 2025}\n\n\\begin{document}\n\n\\maketitle\n\\begin{abstract}\n    \\blindtext\n\\end{abstract}\n\\section{Introduction}\n\n\\lettrine{H}{ow about this?} \\blindtext\n \n\\blindtext\n\n\\begin{wrapfigure}{l}{0.4\\textwidth}\n\\includegraphics[scale=0.3]{DylanRotolo.jpg}\n\\caption{Very famous photo}\n\\end{wrapfigure}\n\\blindtext  \n\\section{Nothing Special}\n\\blindtext\n\\begin{figure}\n\\centering\n\\includegraphics[scale=0.4]{DylanRotolo.jpg}\n\\caption{The very old and famous photo}\n\\end{figure}\n\\blindtext \n\n\\blindtext\n\\begin{table}[]\n    \\centering\n    \\begin{tabular}{|p{3cm}|C{4cm}|R{3cm}|}  \\hline\n    A & B & C \\\\ \\hline\n    \\end{tabular}\n\\end{table}\n\\blindtext\n\\begin{enumerate}[i)]\n    \\item hmmm\n    \\item ammmm\n    \\item ototot\n\\end{enumerate}\n\\section{Something Unimportant}\n\\lettrine{H}{imalaya mountains are really impressive}. \nIt is a mountain range in Asia separating the plains of the Indian \nsub-continent from the Tibetan Plateau. \n\nThe range has some of the Earth's highest peaks, including \nthe highest, Mount Everest. \n\nMore than 100 peaks exceeding elevations of 7,200 m (23,600 ft) \nabove sea level lie in the Himalayas.\n\\begin{thebibliography}{[99]}\n\\bibitem Kto\u015b, Jaka\u015b ksi\u0105\u017cka, 2025 \n\\bibitem Kto\u015b, Jaka\u015b ksi\u0105\u017cka, 2025\n\\bibitem Kto\u015b, Jaka\u015b ksi\u0105\u017cka, 2025\n\\bibitem Kto\u015b, Jaka\u015b ksi\u0105\u017cka, 2025\n\\bibitem Kto\u015b, Jaka\u015b ksi\u0105\u017cka, 2025\n\\bibitem Kto\u015b, Jaka\u015b ksi\u0105\u017cka, 2025\n\\bibitem Kto\u015b, Jaka\u015b ksi\u0105\u017cka, 2025\n\\bibitem Kto\u015b, Jaka\u015b ksi\u0105\u017cka, 2025\n\\bibitem Kto\u015b, Jaka\u015b ksi\u0105\u017cka, 2025\n\\bibitem Kto\u015b, Jaka\u015b ksi\u0105\u017cka, 2025\n\\bibitem Kto\u015b, Jaka\u015b ksi\u0105\u017cka, 2025\n\\bibitem Kto\u015b, Jaka\u015b ksi\u0105\u017cka, 2025\n\\end{thebibliography}\n\\end{document}\n\n<\/pre>\n\n\n
LaTeX (a bit more complex)<\/h2>\n\n\n
\\documentclass{fundam2025}\n\n%\\usepackage{polski}\n\n\\usepackage[utf8]{inputenc}\n\\usepackage[T1]{fontenc}\n\n\\usepackage{comment}\n\\usepackage{csquotes}\n\n\n\\usepackage{graphicx} % Required for inserting images\n\\usepackage{blindtext}\n\\usepackage{wrapfig}\n\n\n\\usepackage{array}\n\\newcolumntype{C}[1]{>{\\centering\\arraybackslash}p{#1}}\n\\newcolumntype{R}[1]{>{\\raggedleft\\arraybackslash}p{#1}}\n\\usepackage{enumerate}\n\n\\usepackage{lettrine}\n\\usepackage{uncial}\n\n\n\\title{2025IT}\n\\author{maarten.wolski }\n\\date{November 2025}\n\\runninghead{Maarten W.}{Intro to \\LaTeX}\n%%%%%%%%%%%%%%%%%%%%%%%%%%%%\n\n\\begin{document}\n\\large\n%\\unclfamily\n%\\sffamily\n\\maketitle\n\\begin{abstract}\n    \\blindtext\n\\end{abstract}\n\\section{{\\unclfamily Introduction}}\n\n\\lettrine{H}{ow about this?} \\blindtext \\cite{Ganter1989}.\n{\\unclfamily What the hell?}\n {\\setlength{\\arrayrulewidth}{0.5mm}\n \\begin{table}\n     \\centering\n     \\begin{tabular}{|p{4cm}|C{3cm}|c|}\\hline\n     \\multicolumn{3}{|c|}{Some things you may encouter} \\\\ \\hline \\hline\n         Something strange & Something  neutral & Something plain \\\\ \\hline\n          water \\textbf{water} Water water water &  water & water \\\\ \\hline\n     \\end{tabular}\n     \\caption{An examplary table}\n     \\label{Thick}\n \\end{table}\n }\n\\blindtext\n\n\\begin{wrapfigure}{l}{0.4\\textwidth}\n\\includegraphics[scale=0.3]{DylanRotolo.jpg}\n\\caption{Very famous photo}\n\\end{wrapfigure}\n\\blindtext \\cite{Bonikowski}\n\n%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%\n\\section{Nothing Special}\n\\blindtext\n\\begin{table}\n     \\centering\n     \\begin{tabular}{|p{4cm}|C{3cm}|c|}\\hline\n     \\multicolumn{3}{|c|}{Some things you may encouter} \\\\ \\hline \\hline\n         Something strange & Something  neutral & Something plain \\\\ \\hline\n          water \\textbf{water} Water water water &  water & water \\\\ \\hline\n     \\end{tabular}\n     \\caption{An examplary table}\n     \\label{Thin}\n \\end{table}\n\\begin{figure}\n\\centering\n\\includegraphics[scale=0.4]{DylanRotolo.jpg}\n\\caption{The very old and famous photo}\n\\end{figure}\n\\blindtext \n\\blindtext \\cite{Greco2010}\n\n\n\\begin{wraptable}{r}{0.44\\textwidth} \\normalsize\n        \\caption{My first stupid table}\n        \\rotatebox{180}{\n\\begin{tabular}{|p{2cm}|c|p{2cm}|}\\hline\n        \\multicolumn{3}{|c|}{Minions and Me} \\\\ \\hline\n        Maarten is a smart minion & Fred & George is a smart minion \\\\ \\hline\n\\end{tabular}\n}\n\\end{wraptable}\n\n\\blindtext\n\\begin{table}\n    \\centering\n    \\begin{tabular}{|p{3cm}|C{4cm}|R{3cm}|}  \\hline\n    A & B & C \\\\ \\hline\n    \\end{tabular}\n\\end{table}\n\\blindtext\n\\begin{enumerate}[i)]\n    \\item hmmm\n    \\item ammmm\n    \\item ototot\n\\end{enumerate}\n\\section{Something Unimportant}\n\\lettrine{H}{imalaya mountains are really impressive}. It is a mountain range in Asia\n separating the plains of the Indian sub-continent from the Tibetan Plateau. The range\n has some of the Earth's highest peaks, including the highest, Mount Everest. More \nthan 100 peaks exceeding elevations of 7,200 m (23,600 ft) above sea level lie in the\n Himalayas.\n\\bibliography{it2025}\n\\bibliographystyle{apalike}\n\\end{document}\n<\/pre>\n\n\n
LaTeX (Advanced: Diagrams)<\/h2>\n\n\n
\\documentclass{article}\n\\usepackage{graphicx} % Required for inserting images\n\\usepackage{graphics}\n\\usepackage[utf8]{inputenc}\n\\usepackage[T1]{fontenc}\n\\usepackage{diagrams}\n\\usepackage{color}\n\\usepackage{amssymb}\n\\title{Christmas 2025}\n\\author{maarten.wolski }\n%\\date{December 2025}\n\n\\begin{document}\n\n\\maketitle\n\n\\section{Introduction}\n\n\\begin{diagram}\n    & &\\bigstar & & \\\\ \n    & \\ldLine(2,2)_{o} &\\bigstar & \\rdLine(2,2)_{o} &  \\\\ \n   o &\\ldLine(2,2)_{o} &\\bigstar & \\rdLine(2,2)_{o}& o  \\\\ \n   o &\\ldLine(2,2)_{o} &\\bigstar & \\rdLine(2,2)_{o}& o\\\\ \n   o & \\ldLine(2,2)_{o}&\\bigstar & \\rdLine(2,2)_{o}& o\\\\ \n   o &\\ldLine(2,2)_{o} &\\bigstar &\\rdLine(2,2)_{o} & o\\\\ \n   o & &\\bigstar & & o\\\\ \n    & &\\bigstar & &  \\\\ \n    & & \/\\backslash & &\\\\\n\\end{diagram}\n\n\n\n\\begin{tabular}{|p{2cm}|p{2cm}|p{2cm}|p{2cm}|p{2cm}|}\\hline\n & & & & \\\\ \\hline\n  & & & & \\\\ \\hline\n   & & & & \\\\ \\hline\n    & & & & \\\\ \\hline\n   \\end{tabular} \n\n\\begin{figure}[h]\n\\begin{diagram}\n\\textrm{Left side}  & &  \\rTo^{\\textrm{\\textbf{Christmas Tree}}}_{2025} & & Right \\\\\n  \\dTo              & \\rdTo(2,3) \\rdTo(4,3) & & \\ruTo(4,3) \\ruTo(2,3) & \\\\ \n                    & & & & \\\\ \n  Hell  & & Purgatory & & Heaven\\\\  \n\\end{diagram}\n\\end{figure}\n\n\n\\begin{diagram}\n \\textrm{Tree 1}     & \\rTo^{function}     &\\textrm{Tree 2}       & \\rTo_{function}        & Tree \\\\\n     \\dLine          &        &                        &    \\ruTo(4,4)  &   \\\\\n                                  &        &              &       \\\\\n                         &        &              &       \\\\\n   Roots                      &        &              &       \\\\\n\\end{diagram}\n\n\n\\begin{figure}[h!]\n    \\centering\n\\begin{diagram}\n\\textrm{Start} & \\lTo_{f} & Middle & \\rLine & Finish  \\\\ \n \\dTo          &  \\rdTo(2,3)            &        & \\rdTo(2,3) \\ruTo(2,3)        &    \\\\\n      &              &        &         &    \\\\\nHell       &              &   \\textrm{North Pole}     &         & Hell   \\\\\n\\end{diagram}\n\\end{figure}\n\n\n\\begin{figure}[h]\n\\centering\n\\begin{diagram}\n  Start & \\rLine & Middle & \\rLine & Finish  \\\\\n  \\dTo  & \\rdTo(2,3) \\rdTo(2,2) \\ldTo(2,3)   &  & \\ruTo(2,2)  \\ruDashto(2,3) &  Hi \\\\\n        &      &  Heaven      &  \\ruTo(2,2)      &         \\\\\n  \\textrm{Left}      &        &  Hell  &        &         \\\\\n\\end{diagram}\n\\end{figure}\n              \n\\begin{figure}\n    \\centering\n    \\begin{diagram}\n        &   &               &  \\bigstar        &   &   & \\\\\n        &   & \\ruTo(3,3)^{**}  &  \\dLine     &  \\luLine(3,3)^{**} &   & \\\\\n        &   & \\ruLine(3,3)^{**}  &             & \\luLine(3,3)^{**}  &   & \\\\\n    o   &   & \\ruLine(3,3)^{**}  &             & \\luLine(3,3)^{**}  &   & o \\\\\n    o    &   & \\ruLine(3,3)^{**} &             &  \\luLine(3,3)^{**} &   & o \\\\\n    o    &   & \\ruLine(3,3)^{**}  &             & \\luLine(3,3)^{**}  &   & o\\\\\n    o   &   & \\ruLine(3,3)^{**}  &             & \\luLine(3,3)^{**}  &   & o \\\\\n    o    &   & \\ruLine(3,3)^{**} &             &  \\luLine(3,3)^{**} &   & o \\\\\n    o    &   & \\ruLine(3,3)^{**}  &             & \\luLine(3,3)^{**}  &   & o\\\\\n    o    &   &   &             &   &   &  o\\\\\n    o    &   &   &   \/\\backslash        &   &   & o \\\\\n    \\end{diagram}\n    \\caption{Our Chritmas Tree}\n    \\label{fig:placeholder}\n\\end{figure}\n\n\n\\begin{figure}[h]\n\\begin{center}\n\t\\begin{diagram}\n\t\t\t\t\t& & & God & & & \\\\\n\t\t\t\t& & \\ldTo(3,5)  &\t\t & \\rdTo(3,5)\t& & \\\\\n\t\tRevelation & &\t&\\rLine &\t& & Creation \\\\\n\t\t& &\\rdLine(2,5) && \\ldLine(2,5) & & \\\\\n\t\t\t& &   & \t\t & \t& & \\\\\n\t\tHuman\t& &  &\\rTo &\t\t& & World \\\\\n\t\t\t& &   & \t\t & \t& & \\\\\n\t\t\t& & & Redemption & & & \\\\\n\t\\end{diagram}\t\n\\end{center}\n\\caption{Star of Redemption}\n\\end{figure}\n\n\n\n\\begin{figure}[h!]\n\t\\begin{diagram}\n &\t&\t&\tTop &\t&  &\\\\\t\n &\t&\\ldTo(3,4) &     &   \\rdTo(3,4) &  &\\\\\nLeftTop &  &   &  \\rLine   &     &   & RightTop \\\\\n\t&\\rdLine(3,4) &\t& &\t&\\ldLine(3,4)\t& \\\\\nLeft &  &   & \\rTo    &     &   & Right \\\\\n&\t&\t&\t&\t& & \\\\\n&\t&\t& Bottom &\t& &\\\\\t\t\t\t\n\t\\end{diagram}\t\n\t\n\\end{figure}\n\n\\begin{figure}[h]\n\\begin{diagram}\n\t&\t&\t& \tGOD \t&\t&\t&\t\\\\\n\t&\t&\\ldTo(3,5)\t&\t\t\t&\\rdTo(3,5) &\t\t&  \\\\\nRevelation&\t&  & \\rLine\t\t\t&  &  &Creation\\\\\n\t\t& \\rdLine(3,5)\t&\t&\t\t\t\t&\t&\\ldLine(3,5)\t&\t\t\t\\\\\n\t\t&\t\t\t\t&   &               &   &    &\\\\\nHuman&\t&\t\t&\t\\rTo\t\t&\t&  &World\\\\\n\t&\t&\t\t&\t\t\t\t&\t& & \\\\\n\t&  \t&\t\t& Redemption &     &  &\\\\\n\\end{diagram}\t\t\n\\end{figure}\n\n\n\\begin{figure}\n\\centering\n\\begin{diagram}\n%%%%%%%%%% HEAD\n\\textrm{\\textcolor{blue}{L 3}} & \\textrm{\\textcolor{blue}{L 2}} & \\textrm{\\textcolor{blue}{L 1}} & \\textrm{\\textcolor{red}{C 0}} & \\textrm{\\textcolor{blue}{R 1}} & \\textrm{\\textcolor{blue}{R 2}} & \\textrm{\\textcolor{blue}{R 3}} \\\\\n%%%%%%%%%% 0 ROW\n\\textrm{leftU 2,6} & 0   &      \\lDashto                &   O   &   \\rDotsto     &  6 & ~~~~~ \\\\\n%%%%%%%%%% 1 ROW\n\\textrm{leftU 2,5} & 1 \\luDashto(5,3)  & \\ldTo(3,6) \\luDotsto(2,6) \\ldTo(2,1) \\ldTo~{\\textcolor{red}{red}}(2,2) \\ldTo(2,3) \\ldTo(2,4)  &   \\dLine    & \\ruDashto(2,6) \\rdTo(2,4) \\rdTo(2,2) \\rdTo(2,1) \\rdTo(2,3) \\rdTo(2,4) \\rdTo(2,5) \\rdTo(2,6) \\rdDotsto(3,6) &  5 &\\\\\n%%%%%%%%%% 2 ROW\n\\textrm{\\textcolor{red}{leftD 2,2}} & 2   &   \\luTo(2,5)                     &  O     &     \\ruTo(2,5)          &  4 &\\\\\n%%%%%%%%%% 3 ROW\n& 3 & \\luTo(2,4) & \\dLine &  \\ruTo(2,4) & 3 &\\\\\n%%%%%%%%%% 4 ROW\n& 4  &    \\luTo(2,3)                     &  OO    &    \\ruTo(2,3)    \\ldDashto(5,3)       &  2 &\\\\\n%%%%%%%%%% 5 ROW\n& 5  &    \\luTo(2,2)                    &  OOO   &    \\ruTo(2,2)      & 1 & \\\\\n%%%%%%%%%% 6 ROW\n\\textrm{\\textcolor{blue}{leftD 3,6}} & 6  &       \\luTo(2,1) \\lTo             &  OOOO   & \\ruTo(2,1) \\rTo &   0 & \\textrm{\\textcolor{blue}{rightD 3,6}} \\\\\n\\end{diagram}\n\\caption{The guide to coordinates}\n\\end{figure}\n\n\n\n\\begin{figure}\n\\centering\n\\begin{diagram}\n  &   &                 & \\bigstar &  &   & o \\\\\n  &   &  \\ruDashto(3,4) \\ldDashto(3,4) & \\bigstar &  & \\ruDashto(6,2)  & \\bigstar \\\\\n x &   &   & \\bigstar &               & \\ldDotsto(5,2)  &           \\\\\n  & o  &   & \\bigstar &  &   & \\\\\n \\bigstar &   &   & \\bigstar &  &   & \\\\ \n \\end{diagram}\n\\end{figure}\n\n\\section{Powershell}\n\n\\begin{verbatim}\n    Windows PowerShell\nCopyright (C) Microsoft Corporation. All rights   >>>>> reserved.\n\nTry the new cross-platform PowerShell https:\/\/aka.ms\/pscore6\n\nPS C:\\Users\\maart> New-Item -ItemType Directory -Path ITOnline2025\n\n\n    Directory: C:\\Users\\maart\n\n\nMode                 LastWriteTime         Length Name\n----                 -------------         ------ ----\nd-----        16\/12\/2025     13:01                ITOnline2025\n\n\nPS C:\\Users\\maart> Set-Location .\\ITOnline2025\\\nPS C:\\Users\\maart\\ITOnline2025> foreach ($x in 1,2,3) \n{New-Item -ItemType Directory -Path \"Christmas Tree $x\\Santa Claus $x\"}\n\n\n\n    Directory: C:\\Users\\maart\\ITOnline2025\\Christmas Tree 1\n\n\nMode                 LastWriteTime         Length Name\n----                 -------------         ------ ----\nd-----        16\/12\/2025     13:05                Santa Claus 1\n\n\n    Directory: C:\\Users\\maart\\ITOnline2025\\Christmas Tree 2\n\n\nMode                 LastWriteTime         Length Name\n----                 -------------         ------ ----\nd-----        16\/12\/2025     13:05                Santa Claus 2\n\n\n    Directory: C:\\Users\\maart\\ITOnline2025\\Christmas Tree 3\n\n\nMode                 LastWriteTime         Length Name\n----                 -------------         ------ ----\nd-----        16\/12\/2025     13:05                Santa Claus 3\n\n\nPS C:\\Users\\maart\\ITOnline2025> Get-ChildItem\n\n\n    Directory: C:\\Users\\maart\\ITOnline2025\n\n\nMode                 LastWriteTime         Length Name\n----                 -------------         ------ ----\nd-----        16\/12\/2025     13:05                Christmas Tree 1\nd-----        16\/12\/2025     13:05                Christmas Tree 2\nd-----        16\/12\/2025     13:05                Christmas Tree 3\n\n\nPS C:\\Users\\maart\\ITOnline2025> Get-ChildItem '.\\Christmas Tree 2\\'\n\n\n    Directory: C:\\Users\\maart\\ITOnline2025\\Christmas Tree 2\n\n\nMode                 LastWriteTime         Length Name\n----                 -------------         ------ ----\nd-----        16\/12\/2025     13:05                Santa Claus 2\n\n\nPS C:\\Users\\maart\\ITOnline2025> Get-ChildItem | ForEach-Object {foreach ($x in 1,2,3) \n{New-Item -ItemType Directory -Path $PSItem\\\"Mikolaj nr $x\"}}\n\n\n    Directory: C:\\Users\\maart\\ITOnline2025\\Christmas Tree 1\n\n\nMode                 LastWriteTime         Length Name\n----                 -------------         ------ ----\nd-----        16\/12\/2025     13:08                Mikolaj nr 1\nd-----        16\/12\/2025     13:08                Mikolaj nr 2\nd-----        16\/12\/2025     13:08                Mikolaj nr 3\n\n\n    Directory: C:\\Users\\maart\\ITOnline2025\\Christmas Tree 2\n\n\nMode                 LastWriteTime         Length Name\n----                 -------------         ------ ----\nd-----        16\/12\/2025     13:08                Mikolaj nr 1\nd-----        16\/12\/2025     13:08                Mikolaj nr 2\nd-----        16\/12\/2025     13:08                Mikolaj nr 3\n\n\n    Directory: C:\\Users\\maart\\ITOnline2025\\Christmas Tree 3\n\n\nMode                 LastWriteTime         Length Name\n----                 -------------         ------ ----\nd-----        16\/12\/2025     13:08                Mikolaj nr 1\nd-----        16\/12\/2025     13:08                Mikolaj nr 2\nd-----        16\/12\/2025     13:08                Mikolaj nr 3\n\n\nPS C:\\Users\\maart\\ITOnline2025> Get-ChildItem | ForEach-Object { foreach \n($x in (Get-ChildItem $PSItem)) { if ($x.Name -match  \"Mikolaj\") \n{Rename-Item -Path $PSItem\\$x -NewName \"$($x.Name.Replace('nr','No')) of $PSItem\"}}}\nPS C:\\Users\\maart\\ITOnline2025> Get-ChildItem | ForEach-Object {Get-ChildItem $PSItem}\n\n\n    Directory: C:\\Users\\maart\\ITOnline2025\\Christmas Tree 1\n\n\nMode                 LastWriteTime         Length Name\n----                 -------------         ------ ----\nd-----        16\/12\/2025     13:08                Mikolaj No 1 of Christmas Tree 1\nd-----        16\/12\/2025     13:08                Mikolaj No 2 of Christmas Tree 1\nd-----        16\/12\/2025     13:08                Mikolaj No 3 of Christmas Tree 1\nd-----        16\/12\/2025     13:05                Santa Claus 1\n\n\n    Directory: C:\\Users\\maart\\ITOnline2025\\Christmas Tree 2\n\n\nMode                 LastWriteTime         Length Name\n----                 -------------         ------ ----\nd-----        16\/12\/2025     13:08                Mikolaj No 1 of Christmas Tree 2\nd-----        16\/12\/2025     13:08                Mikolaj No 2 of Christmas Tree 2\nd-----        16\/12\/2025     13:08                Mikolaj No 3 of Christmas Tree 2\nd-----        16\/12\/2025     13:05                Santa Claus 2\n\n\n    Directory: C:\\Users\\maart\\ITOnline2025\\Christmas Tree 3\n\n\nMode                 LastWriteTime         Length Name\n----                 -------------         ------ ----\nd-----        16\/12\/2025     13:08                Mikolaj No 1 of Christmas Tree 3\nd-----        16\/12\/2025     13:08                Mikolaj No 2 of Christmas Tree 3\nd-----        16\/12\/2025     13:08                Mikolaj No 3 of Christmas Tree 3\nd-----        16\/12\/2025     13:05                Santa Claus 3\n\n\nPS C:\\Users\\maart\\ITOnline2025>\n\\end{verbatim}\n\\section{Bash Shell}\n\\begin{verbatim}\nmaarten@MaartenYoga:~\/OnLineClassIT$ mkdir -p Chirstmas\\ Tree\\ {1..5}\/Santa\\ Claus\\ {1..3}\nmaarten@MaartenYoga:~\/OnLineClassIT$ ls\nChirstmas Tree 1  Chirstmas Tree 2  Chirstmas Tree 3  Chirstmas Tree 4  Chirstmas Tree 5\nmaarten@MaartenYoga:~\/OnLineClassIT$ ls Chirstmas\\ Tree\\ 2\nSanta Claus 1  Santa Claus 2  Santa Claus 3\nmaarten@MaartenYoga:~\/OnLineClassIT$ ls | xargs -I Item bash -c 'parent=\"Item\" ; \nls \"$parent\" > \"$parent\".txt ; while read x ; do old=\"$x\" ; \nnew=\"${old\/\"$old\"\/\"$old of $parent\"}\" ; \nmv \"$parent\"\/\"$old\" \"$parent\"\/\"$new\" ; done < \"$parent\".txt'\nmaarten@MaartenYoga:~\/OnLineClassIT$ ls\nChirstmas Tree 1      Chirstmas Tree 2      Chirstmas Tree 3      \nChirstmas Tree 4      Chirstmas Tree 5\nChirstmas Tree 1.txt  Chirstmas Tree 2.txt  Chirstmas Tree 3.txt  \nChirstmas Tree 4.txt  Chirstmas Tree 5.txt\nmaarten@MaartenYoga:~\/OnLineClassIT$ ls Chirstmas\\ Tree\\ 2\nSanta Claus 1 of Chirstmas Tree 2  Santa Claus 2 of Chirstmas Tree 2  \nSanta Claus 3 of Chirstmas Tree 2\nmaarten@MaartenYoga:~\/OnLineClassIT$\nmaarten@MaartenYoga:~\/OnLineClassIT$ ls | xargs -I Item bash -c 'echo Item ; ls -l \"Item\"'\nChirstmas Tree 1\ntotal 0\ndrwxr-xr-x 1 maarten maarten 512 Dec 16 12:07 Santa Claus 1 of Chirstmas Tree 1\ndrwxr-xr-x 1 maarten maarten 512 Dec 16 12:07 Santa Claus 2 of Chirstmas Tree 1\ndrwxr-xr-x 1 maarten maarten 512 Dec 16 12:07 Santa Claus 3 of Chirstmas Tree 1\nChirstmas Tree 1.txt\n-rw-r--r-- 1 maarten maarten 42 Dec 16 12:58 Chirstmas Tree 1.txt\nChirstmas Tree 2\ntotal 0\ndrwxr-xr-x 1 maarten maarten 512 Dec 16 12:07 Santa Claus 1 of Chirstmas Tree 2\ndrwxr-xr-x 1 maarten maarten 512 Dec 16 12:07 Santa Claus 2 of Chirstmas Tree 2\ndrwxr-xr-x 1 maarten maarten 512 Dec 16 12:07 Santa Claus 3 of Chirstmas Tree 2\nChirstmas Tree 2.txt\n-rw-r--r-- 1 maarten maarten 42 Dec 16 12:58 Chirstmas Tree 2.txt\nChirstmas Tree 3\ntotal 0\ndrwxr-xr-x 1 maarten maarten 512 Dec 16 12:07 Santa Claus 1 of Chirstmas Tree 3\ndrwxr-xr-x 1 maarten maarten 512 Dec 16 12:07 Santa Claus 2 of Chirstmas Tree 3\ndrwxr-xr-x 1 maarten maarten 512 Dec 16 12:07 Santa Claus 3 of Chirstmas Tree 3\nChirstmas Tree 3.txt\n-rw-r--r-- 1 maarten maarten 42 Dec 16 12:58 Chirstmas Tree 3.txt\nChirstmas Tree 4\ntotal 0\ndrwxr-xr-x 1 maarten maarten 512 Dec 16 12:07 Santa Claus 1 of Chirstmas Tree 4\ndrwxr-xr-x 1 maarten maarten 512 Dec 16 12:07 Santa Claus 2 of Chirstmas Tree 4\ndrwxr-xr-x 1 maarten maarten 512 Dec 16 12:07 Santa Claus 3 of Chirstmas Tree 4\nChirstmas Tree 4.txt\n-rw-r--r-- 1 maarten maarten 42 Dec 16 12:58 Chirstmas Tree 4.txt\nChirstmas Tree 5\ntotal 0\ndrwxr-xr-x 1 maarten maarten 512 Dec 16 12:07 Santa Claus 1 of Chirstmas Tree 5\ndrwxr-xr-x 1 maarten maarten 512 Dec 16 12:07 Santa Claus 2 of Chirstmas Tree 5\ndrwxr-xr-x 1 maarten maarten 512 Dec 16 12:07 Santa Claus 3 of Chirstmas Tree 5\nChirstmas Tree 5.txt\n-rw-r--r-- 1 maarten maarten 42 Dec 16 12:58 Chirstmas Tree 5.txt\nmaarten@MaartenYoga:~\/OnLineClassIT$\n\\end{verbatim}\n\n\nThe nice feature of Diagrams is this: \\begin{diagram}\n from~Start & \\rTo^{\\textbf{Life}}_{\\textbf{is sacred}} & to~Finish   \n\\end{diagram}\n\n\n\\end{document}\n\n<\/pre>\n\n\n
LaTeX (Beamer Presentations – Simple)<\/h2>\n\n\n
\\documentclass{beamer}\n\\usepackage[utf8]{inputenc}\n\\usepackage[T1]{fontenc}\n\\usepackage{graphicx}\n\\usepackage{comment}\n\\definecolor{brightorange}{HTML}{FFA500}\n\\definecolor{blueme}{HTML}{2A82DA}\n\\definecolor{greenme}{HTML}{2DDA2A}\n\\definecolor{orangeme}{HTML}{F77128}\n\\definecolor{pinkme}{HTML}{F72882}\n\\definecolor{orangedark}{HTML}{D17B03}\n\\definecolor{greendark}{HTML}{074203}\n\\definecolor{yellowme}{HTML}{FFD68D}\n\n\\newtheorem{proposition}{Proposition}\n\n\\usetheme{Warsaw}\n\\definecolor{my}{HTML}{444444}\n\\usecolortheme[named=my]{structure}\n\\date{}\n\n\n\\title[Writing: How-To]{\\textcolor{brightorange}{\\textbf{Academic Writing:}}\\\\ \\textcolor{greenme}{\\textbf{How-To Knowledge}}}\n\n\\author{\\textbf{Maarten Wolski \\inst{\\textcolor{blueme}{1}}} \\and \\textbf{Joanna Joanna}\\inst{\\textcolor{pinkme}{2}}}\n\n\\institute{$^1$Department of Logic and Cognitive Science\\\\ Maria\n\tCurie-Sk\u0142odowska\n\tUniversity \\and $^2$Department of Something Important  \\\\ University of \tNowhere\n}\n\\date{}\n\n\n\\begin{document}\n%\\setbeamercovered{transparent}\n\n\\AtBeginSection[]\n{\n\t\\begin{frame}\n\t\\frametitle{Outline}\n\t\\tableofcontents[currentsection]\n\\end{frame}\n}\n\n\n\n\\begin{frame}\n\\titlepage\n\\end{frame}\n\n\\begin{frame}\nFour main qualities of good writing:\n\\begin{enumerate}\n\t\\item \\textcolor{blueme}{\\textbf{Simplicity}}: makes writing punchy.\n\t\\item \\textcolor{blueme}{\\textbf{Clarity}}: makes it easy to understand. \n\t\\item \\textcolor{blueme}{\\textbf{Elegance}}: makes writing flow well. \n\t\\item \\textcolor{blueme}{\\textbf{Evocativeness}}: makes prose stimulating.\n\\end{enumerate}\n\t\n\\end{frame}\n\\section{Simplicity: Case Study}\n\n\\end{document}\n\n<\/pre>\n\n\n
LaTeX (Beamer Presentations – Advanced)<\/h2>\n\n\n
\\documentclass{beamer}\n\n\\usepackage[utf8]{inputenc}\n\\usepackage[T1]{fontenc}\n\n%\\setbeamertemplate{title}[shadow=false]\n\\DeclareTextFontCommand\\emph{\\bfseries\\color{orangeme}}\n%\n%\n%\n%\n\\usepackage{tikz}\n%\\setbeamertemplate{background canvas}{\\begin{tikzpicture}\\node[opacity=0.2]{\n%\\includegraphics[scale=0.27]%0.107]\n%{vichy9.jpg}};\\end{tikzpicture}}\n\\usepackage{wrapfig}\n\\usepackage{geometry}\n\\usepackage{latexsym,amsfonts,amssymb,wasysym,stmaryrd}\n\\usepackage{amssymb,amsmath,amscd}\n\\usepackage{times}\n\\usepackage{bm}\n\\usepackage{graphicx}\n\\usepackage{xcolor,colortbl}\n\\usepackage{pifont}\n\\newcommand{\\cmark}{\\text{\\ding{56}}}%\n\\newcommand{\\xmark}{\\ding{55}}%\n\n\n%\\newtheorem{proposition}{Proposition}\n\\newtheorem{myemph}{Aha Moment!}\n\n\n\\definecolor{Darkblue}{rgb}{0.08,0.0,0.85} \n\\definecolor{Darkgreen}{rgb}{0.08,0.85,0.8} \n%\\definecolor{me}{HTML}{ffffb3}\n\n\\definecolor{blueme}{HTML}{2A82DA}\n\\definecolor{greenme}{HTML}{2DDA2A}\n\\definecolor{orangeme}{HTML}{F77128}\n\\definecolor{pinkme}{HTML}{F72882}\n\\definecolor{orangedark}{HTML}{D17B03}\n\\definecolor{greendark}{HTML}{074203}\n\\definecolor{yellowme}{HTML}{FFD68D}\n\n%\\usepackage{diagrams}\n\\usetheme{Warsaw}\n\n\n\\definecolor{my}{HTML}{444444}\n\\usecolortheme[named=my]{structure}\n\n%\\newtheorem{definition}{Definition}\n\\newtheorem{proposition}{Proposition}\n\\newtheorem{myemphM}{Generalised Approximation Spaces}\n%\\newtheorem{myemph}{}\n%\\newtheorem{myemph2}{Rough inclusion as \\fbox{decomposition}}\n%\\newtheorem{myemph3}{What have we learnt learnt?}\n%\\newtheorem{myemph4}{What about the modal counterpart of $(U,I,v)$?}\n%\\definecolor{Darkblue}{rgb}{0.08,0.0,0.55} \n%\\definecolor{Darkgreen}{rgb}{0.08,0.55,0.8} \n\n\n\\date{}\n\n\n\\title[Metamathematics of Mathematics of Data]{The Mathematics of Metamathematics of Mathematics (of Data)}\n\t\n\\author{\\textbf{Marcin Wolski}}\n\\institute{\\textcolor{black}{\\textbf{\\tiny{Department of Logic and Cognitive Science, Maria\n\t\t\t\tCurie-Sk\u0142odowska University, Lublin, Poland}}}}\n\\date{}\n\\begin{center}\n\\begin{minipage}{\\textwidth}\n\t%\\centering\n%\t\\textbf{\\textcolor{black}{The Lvov-Warsaw School: Past, Present and Future}}\\\\\n\\end{minipage} \t\n%\\end{center}\n%\\begin{center}\n\\begin{minipage}{\\textwidth}\n\t\\centering\n\\begin{tabular}{ccc}\n{\\includegraphics[scale=.8]{HRb.jpg}} & {\\includegraphics[scale=.14]{Rauszerb.png}} & {\\includegraphics[scale=.19]{Pawlakb.png}}\n\\end{tabular}\\\\\n\\textbf{\\tiny{Helena Rasiowa (1917-1994), Cecylia Rauszer (1942-1994), Zdzis\\l{}aw Pawlak (1926-2006)}}\n\\end{minipage} %\\hfill\n\\end{center}\n\n\n\n\\begin{document}\n\t\n\\setbeamercovered{transparent}\n\n\\AtBeginSection[]\n{\n   \\begin{frame}\n       \\frametitle{Outline}\n       \\tableofcontents[currentsection]\n   \\end{frame}\n}\n\n\n\n\\begin{frame}\n\\vspace{-2.5cm}\n\\titlepage\n\\end{frame}\n\n\n\\begin{frame}\n\\tableofcontents\n\\end{frame}\n\n\n\\section{Mathematics and Metamathematics of Data}\n\\subsection{Rough Set Theory}\n\n\\begin{frame}\n\\vspace{-2cm}\n\\begin{wrapfigure}{l}{4.5cm}\n\\vspace{-1cm}\n\t\\includegraphics[scale=0.35]{RasiowaBook.jpg}\n\\end{wrapfigure}\n\\emph{\"the book is used for lectures and eagerly read, even by beginners - it does not require the reader to have any special mathematical preparation\"}\n\\end{frame}\t\n\n\\begin{frame}\n\\begin{figure}[ht!]\n\t\\[U = \\{apple, grapefruit, kiwi, plum, mango\\},\\] \n\t\\[ Att = \\{\\textbf{colour},\\textbf{firm},\\textbf{form}\\},\\ \\ D = \\textbf{smooth}\\]\n\t\n\t%\\scalebox{0.88}{\n\t\t%\\begin{center}\n\t\t\n\t\t\t\\begin{tabular}{|c|c|c|c|c|}\n\t\t\t\t\\multicolumn{1}{c}{\\textcolor{orangeme}{\\textbf{objects}}}& \\multicolumn{3}{c}{\\textcolor{orangeme}{\\textbf{conditional attributes}}} &\\multicolumn{1}{c}{\\textcolor{orangeme}{\\textbf{decision}}} \\\\ \\hline\n\t\t\t\t\\textbf{fruit}~ &  ~\\textbf{colour}~ & ~\\textbf{firm}~ & ~\\textbf{form}~ & ~\\textbf{smooth}~ \\\\ \\hline\n\t\t\t\t~$apple$~ & ~$yellow$~ & ~$no$~  & ~$round$~ & ~$yes$~ \\\\ \\hline\n\t\t\t\t~$grapefruit$~ & $yellow$ & $no$  & $round$ & $no$ \\\\ \\hline\n\t\t\t\t$kiwi$ & $green$ & $no$ & $oval$ & $no$  \\\\ \\hline\n\t\t\t\t$plum$ & $blue$ & $no$ & $oval$ & $yes$   \\\\ \\hline\n\t\t\t\t$mango$ & $green$ & $no$  & $oval$ & $yes$ \\\\ \\hline\n\t\t\t\\end{tabular}\n\t\t\\caption{A data\/decision table of fruits}\n\t%\\end{center}\n\t\\label{table}\n\\end{figure}\n\\end{frame}\n\n\n\\begin{frame}\n \\begin{definition}[Information System]\nA quadruple $\\mathcal{I} = (U, Att, Val, f)$ is called an \\emph{information\nsystem}, where:\n\\begin{itemize}\n\\item $U$ is a nonempty finite set of objects,\n\\item $Att$ is a nonempty finite set of conditional attributes,\n\\item $Val = \\bigcup_{A\\in Att} Val_{A}$, where $Val_{A}$ is the value--domain\nof\nthe attribute $A$,\n\\item $f:U\\times Att \\rightarrow Val$ is an information function, such that\nfor all\n$A\\in Att$ and $x\\in U$ it holds that $f(x,A) \\in Val_{A}$.  \n\\end{itemize}\nIf $f$ is a partial function, then the information system $\\mathcal{I}$ is\ncalled\n\\emph{incomplete}. If the codomain of $f$ is the powerset of $Val$, then the\nsystem is called \\emph{multivalued}, \\emph{approximate}, or \n\\emph{nondeterministic}. \n\\end{definition}\n\\end{frame}\n\n\n\\begin{frame}\n\\begin{definition}[Lower and Upper Approximations]\nA pair $(U,E)$, where $E$ is an equivalence relation, is called an\n\\emph{approximation\nspace}. Define:\n\\[{L}ow_E(X) = \\{x\\in U: [x]_E\\subseteq X\\}, \\]\n\\[{U}pp_E(X) = \\{x\\in U: [x]_E \\cap X \\not = \\emptyset\\}. \\]\n${L}ow_E(X)$ is called the \\emph{lower approximation} of $X$, whereas\n${U}pp_E(X)$ is\ncalled the \\emph{upper approximation} of $X$.\n\\end{definition} \nEvery (sub)set of\nattributes $\\mathcal{A} \\subseteq Att$ induces an \\emph{approximation space},\nwhich is a pair $(U,E_{\\mathcal{A}})$, where the \nrelation\n$E_{\\mathcal{A}}$ is defined by \\[E_{\\mathcal{A}} = \\{(x,y): f(x,A) = f(y,A)\\\n\\textrm{ for all }\\\nA\\in\n\\mathcal{A}\\}.\\] \n\n\\end{frame}\n\\subsection{Formal Concept Analysis}\n\n\\begin{frame}\n\\begin{figure}[ht!]\n\t\\[U = \\{apple, grapefruit, kiwi, plum, mango\\},\\] \n\t\\[ Att = \\{\\textbf{yellow}, \\textbf{green}, \\textbf{blue},\\textbf{oval},\\textbf{round}, \\textbf{smooth}\\}\\]\n\t\n\t\\scalebox{0.9}{\n\t%\\begin{center}\n\t\n\t\\begin{tabular}{|c|c|c|c|c|c|c|}\n\t\t\\multicolumn{1}{c}{\\textcolor{orangeme}{\\textbf{objects}}}& \\multicolumn{6}{c}{\\textcolor{orangeme}{\\textbf{properties}}} \\\\ \\hline %&\\multicolumn{1}{c}{\\textcolor{orangeme}{\\textbf{decision}}} \\\\ \\hline\n\t\t\\textbf{fruit}~ &  ~\\textbf{yellow}~ & ~\\textbf{green}~ &  ~\\textbf{blue}~ & ~\\textbf{oval}~ & ~\\textbf{round}~ & ~\\textbf{smooth}~ \\\\ \\hline\n\t\t~$apple$~ & \\cmark & & &   & \\cmark & \\cmark \\\\ \\hline\n\t\t~$grapefruit$~ & \\cmark & & &  & \\cmark &  \\\\ \\hline\n\t\t$kiwi$ & & \\cmark & & \\cmark &  &  \\\\ \\hline\n\t\t$plum$ & & & \\cmark & \\cmark &  & \\cmark   \\\\ \\hline\n\t\t$mango$ & & \\cmark & & \\cmark  &  & \\cmark \\\\ \\hline\n\t\\end{tabular}\n}\n\t\\caption{A formal context of fruits}\n\t%\\end{center}\n\t\\label{table}\n\\end{figure}\n\\end{frame}\n\n\n\\begin{frame}\n \\begin{definition}[Formal Context]\nA \\emph{formal context} is a triple $(U,Att,R)$, where $U$ is a set of objects,\n$Att$ a\nset of properties and $R\\subseteq U\\times Att$ is a binary relation,\nwhere $(x,A)\\in R$ reads as \\emph{the object $x$ has the property $A$}.\n\\end{definition}\n\\begin{definition}[Derivation Operators]\nFor a formal context $\\mathcal{C} = (U,Att,R)$, we define:\n\\[R'(X) = \\{A\\in Att:\\ (x,A) \\in R,\\ \\textrm{ for all } x \\in X\\}\\]\n\\[R'(\\mathcal{A}) = \\{x\\in U:\\ (x,A) \\in R, \\textrm{ for all } A\\in\n\\mathcal{A}\\},\\]\nfor all $X\\subseteq U$ and $\\mathcal{A}\\subseteq Att$.\n\\end{definition}\n\\end{frame}\n\n\\subsection{Adjunctions and Toplogy}\n\\begin{frame}\n\\begin{definition}[Adjunction\/Galois Connection]\n\t\\label{d-4e}\n\tLet $\\mathcal{U}=(U, \\leq)$ and $\\mathcal{V}=(V, \\preceq)$ be two partially ordered sets (also called posets). If $\\pi_{\\ast}:U\\to V$ and $\\pi^{\\ast}:V\\to U$ are functions satisfying the following requirement:\n\t\\begin{center}\n\t\t\\[x\\leq\\pi^{\\ast}(y)\\ \\textrm{ iff }\\ \\pi_{\\ast}(x)\\preceq y,\\]\n\t\\end{center}\n\tfor all $x\\in U$ and $y\\in V$, then a system $\\pi=( \\mathcal{U},\\pi_{\\ast},\\pi^{\\ast},\\mathcal{V})$ \n\tis called \\emph{adjunction} or \\emph{Galois connection}, $\\pi_{\\ast}$ is called a \\emph{left adjoint} of $\\pi^{\\ast}$, and $\\pi^{\\ast}$ is called a \\emph{right adjoint} of $\\pi_{\\ast}$.\n\\end{definition}\n\\end{frame}\n\n\n\\section{Cecylia Rauszer: Mathematics of Metamathematics}\n\\subsection{Heyting-Brouwer Algebras}\n\\begin{frame}\n\\begin{definition}[Heyting Algebra]\n\tAn algebra $(U,\\leq,\\vee,\\wedge,\\stackrel{\\wedge}{\\to},\\top,\\bot)$ is called \\emph{Heyting algebra} iff $(U,\\leq,\\vee,\\wedge,\\stackrel{\\wedge}{\\to},\\top,\\bot)$ is a bounded distributive lattice and \n\t$\\stackrel{\\wedge}{\\to}$ is a relative pseudo-complement of $x$ to $z$, for  $x,y,z \\in U$:\n\t%is a relative pseudo-complement of $a$ with respect to $c$, i.e.,\n\t\\[ x \\wedge y \\leq z\\ \\textrm{ iff }\\ y \\leq x \\stackrel{\\wedge}{\\to} z,\\] \n\\end{definition}\n\\begin{definition}[HBA] \n\t\\emph{Heyting-Brouwer Algebra} (HBA) $(U,\\leq,\\vee,\\wedge, \\stackrel{\\wedge}{\\to}, \\stackrel{\\vee}{\\to},\\top,\\bot)$ is a~Heyting algebra\n\t%is a Heyting algebra \n\t$(U,\\leq,\\vee,\\wedge,\\stackrel{\\wedge}{\\to},\\top,\\bot)$ provided with a \\emph{co-implication} $\\stackrel{\\vee}{\\to}$, such that, for $x,y,z \\in U $:\n\t\\[ x \\vee y \\geq z\\ \\textrm{ iff }\\ y \\geq x \\stackrel{\\vee}{\\to} z,\\]  \n\\end{definition}\n\\end{frame}\n\n\\subsection{Heyting-Brouwer Logic}\n\n\\begin{frame}\nHeyting-Brouwer logic ($HBL$) is defined in the propositional language $\\mathcal{L}_{HB}$ whose connectives are:\n\\[\\wedge, \\vee, \\stackrel{\\wedge}{\\to}, \\stackrel{\\vee}{\\to}, \\top, \\bot.\\] Axioms of $HBL$  were introduced by C.~Rauszer. Due to the topological settings we use F.~Wolter's version.\n\nLet us define: $\\stackrel{\\wedge}{\\neg} \\alpha \\stackrel{def}{=} \\alpha \\stackrel{\\wedge}{\\to} \\bot$, $\\stackrel{\\vee}{\\neg} \\alpha \\stackrel{def}{=} \\alpha \\stackrel{\\vee}{\\to} \\top$, and\n\\[ H = \\{ \\alpha \\stackrel{\\wedge}{\\to} (\\beta \\vee (\\beta \\stackrel{\\vee}{\\to} \\alpha)), (\\beta \\stackrel{\\vee}{\\to} \\alpha) \\stackrel{\\wedge}{\\to} \\stackrel{\\vee}{\\neg} (\\alpha \\stackrel{\\wedge}{\\to} \\beta),\\]\n\\[ (\\gamma \\stackrel{\\vee}{\\to} (\\beta \\stackrel{\\vee}{\\to}\\alpha)) \\stackrel{\\wedge}{\\to} ((\\alpha \\vee \\beta) \\stackrel{\\vee}{\\to} \\alpha),  \\stackrel{\\wedge}{\\neg}(\\beta \\stackrel{\\vee}{\\to} \\alpha) \\stackrel{\\wedge}{\\to} (\\alpha \\stackrel{\\wedge}{\\to} \\beta), \\stackrel{\\wedge}{\\neg}(\\alpha\\stackrel{\\vee}{\\to} \\alpha)\\}.\\]\nThe logic $HBL$ is the smallest logic including $INT \\cup H$, where $INT$ denotes some axiomatisation of intuitionistic logic, and closed under substitution, \\textit{modus ponens}, and\n\\[ \\frac{\\alpha}{\\stackrel{\\wedge}{\\neg} \\stackrel{\\vee}{\\neg} \\alpha}\\ \\ .\\]\n\\end{frame}\n\n\n\\subsection{Dominance Rough Sets}\n\n\\begin{frame}\n\\begin{figure}[ht!]\n\t\\[U = \\{Anne, Bob, Eve, Stephen, Alice\\},\\] \n\t\\[ Att = \\{\\textbf{science},\\textbf{art},\\textbf{philosophy}\\},\\ \\ D = \\textbf{final score}\\]\n\t\n\t%\\scalebox{0.88}{\n\t%\\begin{center}\n\t\n\t\\begin{tabular}{|c|c|c|c|c|}\n\t\t\\multicolumn{1}{c}{\\textcolor{orangeme}{\\textbf{objects}}}& \\multicolumn{3}{c}{\\textcolor{orangeme}{\\textbf{conditional attributes}}} &\\multicolumn{1}{c}{\\textcolor{orangeme}{\\textbf{decision}}} \\\\ \\hline\n\t\t\\textbf{student}~ &  ~\\textbf{science}~ & ~\\textbf{art}~ & ~\\textbf{philosophy}~ & ~\\textbf{final score}~ \\\\ \\hline\n\t\t~$Anne$~ & ~$4$~ & ~$5$~  & ~$5$~ & ~$5$~ \\\\ \\hline\n\t\t~$Bob$~ & $3$ & $5$  & $3$ & $4$ \\\\ \\hline\n\t\t$Eve$ & $4$ & $4$ & $4$ & $4$  \\\\ \\hline\n\t\t$Stephen$ & $4$ & $5$ & $5$ & $4$   \\\\ \\hline\n\t\t$Alice$ & $4$ & $5$  & $3$ & $3$ \\\\ \\hline\n\t\\end{tabular}\n\t\\caption{A data\/decision table of students}\n\t%\\end{center}\n\t\\label{table}\n\\end{figure}\n\\end{frame}\n\n\\begin{frame}\n\n\\begin{figure}\n\t\\scalebox{.9}{\n\t\\centering\n\t\\begin{tabular}{c}\\\\\n\t\t\\textbf{Classical Rough Set Theory} \\\\\n\t\t$\\Downarrow$\\\\\n\t\t\\textbf{Indiscernibility Principle} \\\\\n\t\tIf $x$ and $y$ are indiscernible with respect to conditional attributes,\\\\ \n\t\tthen $x$ should be classified to the same decision class as $y$.\n\t\t$ $ \\\\\n\t\t$ $\\\\\n\t\t$ $\\\\\n\t\t\\textbf{Dominance-based Rough Sets} \\\\\n\tGreco, S., Matarazzo, B., S\u0142owi\u0144ski, R.:\\\\ Rough sets theory for multi-criteria decision analysis.\\\\ European Journal of Operational Research, 129, 1 (2001) 1\u201347\\\\\n\t\t$\\Downarrow$\\\\\n\t\t\\textbf{Dominance Principle} \\\\\n\t\tIf $x$ at least as good as $y$ with respect to conditional attributes ($\\boldsymbol{y\\leq_D x}$),\\\\ \n\t\tthen $x$ should be classified (with respect to a decision attribute)\\\\ as least as good as $y$.\n\t\\end{tabular}}\n\t%\\caption{Principles of interpretation and classification}\n\t\\label{Princi}\n\\end{figure}\n\\end{frame}\n\n\n\\begin{frame}\n\n{\\textbf{\\Huge{\\textcolor{blueme}{Your} \\textcolor{greenme}{Questions},\n\t\t\t\\textcolor{orangeme}{Comments}, \\textcolor{pinkme}{Complaints}, or any Form of\n\t\t\tFeedback \\textcolor{blueme}{Are Welcome} and Appreciated}}}\n\n\n\\end{frame}\n\\end{document}\n<\/pre>","protected":false},"excerpt":{"rendered":"
Romeo and Juliet Beamer: source file PowerShell Scripting Param ( [Parameter(Mandatory=$True)][float]$number, [Parameter(Mandatory=$True)][int]$modulus ) Function compute { Param( [Parameter(Mandatory=$True)][float]$number, [Parameter(Mandatory=$True)][int]$modulus ) $counter = 1if ($modulus -eq 0) {“error: no solutions”} else {$mod = if ($modulus -gt 0) {$modulus} else {-1 * $modulus}$num = if ($number -gt 0) {$number} else {-1 * $number}while ($counter * $mod -le … <\/p>\n
Continue reading “IT 2.0”<\/span><\/a><\/p>\n","protected":false},"author":1,"featured_media":0,"parent":24,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":[],"_links":{"self":[{"href":"https:\/\/bacon.umcs.lublin.pl\/~wolsk\/index.php?rest_route=\/wp\/v2\/pages\/314"}],"collection":[{"href":"https:\/\/bacon.umcs.lublin.pl\/~wolsk\/index.php?rest_route=\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/bacon.umcs.lublin.pl\/~wolsk\/index.php?rest_route=\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/bacon.umcs.lublin.pl\/~wolsk\/index.php?rest_route=\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/bacon.umcs.lublin.pl\/~wolsk\/index.php?rest_route=%2Fwp%2Fv2%2Fcomments&post=314"}],"version-history":[{"count":48,"href":"https:\/\/bacon.umcs.lublin.pl\/~wolsk\/index.php?rest_route=\/wp\/v2\/pages\/314\/revisions"}],"predecessor-version":[{"id":837,"href":"https:\/\/bacon.umcs.lublin.pl\/~wolsk\/index.php?rest_route=\/wp\/v2\/pages\/314\/revisions\/837"}],"up":[{"embeddable":true,"href":"https:\/\/bacon.umcs.lublin.pl\/~wolsk\/index.php?rest_route=\/wp\/v2\/pages\/24"}],"wp:attachment":[{"href":"https:\/\/bacon.umcs.lublin.pl\/~wolsk\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=314"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}