Kategoria: Logika matematyczna

— Kombinatoryka, Logika matematyczna, Matematyka, Rachunek różniczkowy i całkowy, Software, Teoria liczb —

mXparser – wysoce elastyczny parser (interpreter) wyrażeń matematycznych dla JAVA oraz C# .NET

29 listopada 2015

Serdecznie zapraszam do zapoznania się z wysoce elastycznym interpreterem wyrażeń matematycznych. Oprogramowanie jest mojego autorstwa, powstało w 2010 roku i wtedy zostało opublikowane w serwisie SourceForge.net. Z racji, że teraz posiadam stronę o odpowiedniej tematyce, zdecydowałem się przygotować dedykowany opis, który znajdziecie pod tym linkiem. Dostępne są również tutorial oraz specyfikacja API. Pozdrowienia, Mariusz Gromada Pobierz… Read More mXparser – wysoce elastyczny parser (interpreter) wyrażeń matematycznych dla JAVA oraz C# .NET

— Logika matematyczna, Matematyka —

Indukcja matematyczna jako przykład dedukcji :-)

14 listopada 2015

Wnioskowanie indukcyjne Rozumowaniem indykcyjnym określa się wnioskowanie „od szczegółu do ogółu”, przez co indukcja bywa uważana za jedno z głównych narzędzi tzw. nauk empirycznych (metody polegające na zastosowaniu eksperymentu, obserwacji, indukcji enumeracyjnej oraz indukcji eliminacyjnej). Wnioskowanie dedukcyjne Rozumowaniem dedukcyjnym określa się wnioskowanie „od ogółu do szczegółu”. Dedukcja jest podstawowym  narzędziem stosowanym w logice i matematyce, gdzie z twierdzenia ogólnego (bądź założenia… Read More Indukcja matematyczna jako przykład dedukcji 🙂