-
Notifications
You must be signed in to change notification settings - Fork 0
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
- Loading branch information
0 parents
commit 6a9a255
Showing
8 changed files
with
241 additions
and
0 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,6 @@ | ||
| theme: jekyll-theme-minimal | ||
| title: btjones | ||
| description: > | ||
| <a href="mailto:btjones@calpoly.edu">btjones@calpoly.edu</a> | ||
| github: | ||
| is_user_page: false |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,4 @@ | ||
| <!-- Setup Google Analytics --> | ||
| {% include head-custom-google-analytics.html %} | ||
|
|
||
| <link rel="icon" href="/assets/favicon.ico"> |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,23 @@ | ||
| --- | ||
| --- | ||
|
|
||
| @import "{{ site.theme }}"; | ||
|
|
||
| // below 1250px, use default css | ||
| // header: 270px | ||
| // section: 900px | ||
| @media print, screen and (min-width: 1250px) { | ||
| .wrapper { | ||
| width:100%; | ||
| } | ||
|
|
||
| section { | ||
| width:900px; | ||
| float:left; | ||
| padding-left:270px; // 270px is width of header | ||
| } | ||
| } | ||
|
|
||
| footer { | ||
| display: none; | ||
| } |
Binary file not shown.
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,93 @@ | ||
| # Books | ||
|
|
||
| ## Type Theory | ||
|
|
||
| - Brady, Edwin. Type-Driven Development with Idris. Manning Publications Co, 2017. | ||
| - Friedman, Daniel P., and David Thrane Christiansen. The Little Typer. The MIT Press, | ||
| 2018. | ||
| - Hindley, J. Roger. Basic Simple Type Theory. Cambridge University Press, 2008. | ||
| - Nederpelt, Rob, and Herman Geuvers. Type Theory and Formal Proof: An Introduction. | ||
| Cambridge University Press, 2014. | ||
| - Pierce, Benjamin C. Types and Programming Languages. The MIT Press, 2002. | ||
|
|
||
| ## Lambda Calculus | ||
|
|
||
| - Barendregt, Henk P. The Lambda Calculus, its Syntax and Semantics. College | ||
| Publications, 2012. | ||
| - Michaelson, Greg. An Introduction to Functional Programming Through Lambda Calculus. | ||
| Dover Publications, 2011. | ||
|
|
||
| ## Category Theory | ||
|
|
||
| - Goldblatt, Robert. Topoi: The Categorial Analysis of Logic. Dover Publications, 2006. | ||
| - Lambek, J., and P. J. Scott. Introduction to higher order categorical logic. Cambridge | ||
| University Press, 1988. | ||
| - Lawvere, F. William, and Robert Rosebrugh. Sets For Mathematics. Cambridge University | ||
| Press, 2003. | ||
| - Lawvere, F. William, and Stephen H. Schanuel. Conceptual Mathematics: A first | ||
| introduction to categories. Cambridge University Press, 2009. | ||
| - Leinster, Tom. Basic category theory. Cambridge University Press, 2017. | ||
| - Milewski, Bartosz, and Igal Tabachnik. Category Theory for Programmer. Bartosz | ||
| Milewski, 2019. | ||
| - Pierce, Benjamin C. Basic Category Theory for Computer Scientists. The MIT Press, 1991. | ||
| - Riehl, Emily. Category Theory in Context. Dover Publications, 2016. | ||
| - Yanofsky, Noson S. Theoretical Computer Science for the Working Category Theorist. | ||
| Cambridge University Press, 2022. | ||
|
|
||
| ## Programming Languages | ||
|
|
||
| - Ball, Thorsten. Writing a Compiler in Go. Thorsten Ball, 2018. | ||
| - Ball, Thorsten. Writing an Interpreter in Go. Thorsten Ball, 2016. | ||
| - Friedman, Daniel P., and Carl Eastlund. The Little Prover. The MIT Press, 2015. | ||
| - Friedman, Daniel P., and Matthias Felleisen. The Seasoned Schemer. The MIT Press, 1996. | ||
| - Friedman, Daniel P., William E. Byrd, Oleg Kiselyov, and Jason Hemann. The Reasoned | ||
| Schemer. The MIT Press, 2018. | ||
| - Friedman, David P., and Matthias Felleisen. The Little Schemer. The MIT Press, 1996. | ||
| - Okasaki, Chris. Purely Functional Data Structures. Cambridge University Press, 1998. | ||
| - Siek, Jeremy. Essentials of Compilation: An Incremental Approach in Python. The MIT | ||
| Press, 2023. | ||
| - Siek, Jeremy. Essentials of Compilation: An Incremental Approach in Racket. The MIT | ||
| Press, 2023. | ||
|
|
||
| ## Mathematical Logic | ||
|
|
||
| - Bell, John L. Higher-Order Logic and Type Theory. Cambridge University Press, 2022. | ||
| - Chiswell, Ian, and Wilfrid Hodges. Mathematical Logic. Oxford University Press, 2007. | ||
| - Goldrei, Derek. Propositional and Predicate Calculus: A Model of Argument. Springer, | ||
| 2005. | ||
| - Kleene, Stephen Cole. Mathematical Logic. Dover Publications, 2002. | ||
| - Leary, Christopher C., and Lars Kristiansen. A Friendly Introduction to Mathematical | ||
| Logic. Milne Library, SUNY Geneseo, 2015. | ||
| - Plato, Jan von. Elements of Logical Reasoning. Cambridge University Press, 2013. | ||
| - Prawitz, Dag. Natural Deduction: A Proof-Theoretical Study. Dover Publications, 2006. | ||
| - Smullyan, Raymond M. First-Order Logic. Dover Publications, 1995. | ||
|
|
||
| ## Set Theory | ||
|
|
||
| - Cantor, Georg. Contributions to the Founding of the Theory of Transfinite Numbers. | ||
| Dover Publications, 1955. | ||
| - Cohen, Paul J. Set Theory and the Continuum Hypothesis. Dover Publications, 2008. | ||
| - Goldrei, Derek. Classic Set Theory: For Guided Independent Study. Chapman & Hall, 1996. | ||
| - Moore, Gregory H. Zermelo’s Axiom of Choice: Its Origins, Development, & Influence. | ||
| Dover Publications, 2013. | ||
|
|
||
| ## Incompleteness/Undecidability | ||
|
|
||
| - Davis, Martin. The Undecidable: Basic Papers on Undecidable Propositions, Unsolvable | ||
| Problems and Computable Functions. Dover Publications, 1965. | ||
| - Gödel, Kurt. On Formally Undecidable Propositions of Principia Mathematica and Related | ||
| Systems. Dover Publications, 1992. | ||
| - Heijenoort, Jean van. From Frege to Gödel: A Source Book in Mathematical Logic, | ||
| 1879–1931. Harvard University Press, 1967. | ||
| - Nagel, Ernest, and James R. Newman. Gödel’s Proof. New York University Press, 2001. | ||
| - Petzold, Charles. The Annotated Turing: A Guided Tour Through Alan Turing’s Historic | ||
| Paper on Computability and the Turing Machine. Wiley Publishing, 2008. | ||
| - Russell, Bertrand. Introduction to Mathematical Philosophy. Digireads, 2010. | ||
|
|
||
| ## Misc | ||
|
|
||
| - Doxiadis, Apostolos, and Christos H. Papadimitriou. Logicomix: An Epic Search for | ||
| Truth. Bloomsbury, 2009. | ||
| - Lakatos, Imre. Proofs and Refutations. Cambridge University Press, 2015. | ||
| - Mashaal, Maurice. Bourbaki: A Secret Society of Mathematicians. American Mathematical | ||
| Society, 2006. |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,108 @@ | ||
| # Courses Taught | ||
|
|
||
| ## Summary | ||
|
|
||
| | Course | Title | \# Sections | Last Taught | | ||
| |-------------|--------------------------------------|-------------|-------------| | ||
| | CSC 101 | Fundamentals of Computer Science | 9 | Winter 2022 | | ||
| | CSC 103 | Fundamentals of Computer Science III | 2 | Fall 2016 | | ||
| | CSC 202 | Data Structures | 9 | Winter 2023 | | ||
| | CSC 225 | Computer Organization | 1 | Fall 2021 | | ||
| | CSC 248/348 | Discrete Structures | 6 | Spring 2024 | | ||
| | CSC 349 | Design and Analysis of Algorithms | 4 | Fall 2022 | | ||
| | CSC 430 | Programming Languages | 7 | Spring 2024 | | ||
| | CSC 445 | Theory of Computation | 6 | Fall 2023 | | ||
| | MATH 117 | Precalculus Algebra II | 1 | Fall 2013 | | ||
| | MATH 118 | Precalculus Algebra | 4 | Fall 2015 | | ||
| | MATH 119 | Precalculus Trigonometry | 1 | Spring 2015 | | ||
| | MATH 141 | Calculus I | 5 | Spring 2021 | | ||
| | MATH 142 | Calculus II | 2 | Winter 2021 | | ||
| | MATH 221 | Calculus for Business and Economics | 5 | Winter 2021 | | ||
|
|
||
| ## Past Courses | ||
|
|
||
| - Spring 2024 | ||
| - CSC 248 (Discrete Structures) | ||
| - CSC 430 (Programming Languages) | ||
| - Winter 2024 | ||
| - CSC 248 (Discrete Structures) | ||
| - CSC 430 (Programming Languages) | ||
| - Fall 2023 | ||
| - CSC 430 (Programming Languages) | ||
| - CSC 445 (Theory of Computation) | ||
| - Summer 2023 | ||
| - CSC 445 (Theory of Computation) | ||
| - Spring 2023 | ||
| - CSC 248 (Discrete Structures) | ||
| - CSC 430 (Programming Languages) | ||
| - Winter 2023 | ||
| - CSC 202 (Data Structures) | ||
| - CSC 430 (Programming Languages) | ||
| - Fall 2022 | ||
| - CSC 349 (Design and Analysis of Algorithms) | ||
| - CSC 445 (Theory of Computation) | ||
| - Spring 2022 | ||
| - CSC 202 (Data Structures) | ||
| - Winter 2022 | ||
| - CSC 101 (Fundamentals of Computer Science | ||
| - Fall 2021 | ||
| - CSC 202 (Data Structures) | ||
| - CSC 225 (Computer Organization) | ||
| - Summer 2021 | ||
| - CSC 101 (Fundamentals of Computer Science) | ||
| - Spring 2021 | ||
| - CSC 349 (Design and Analysis of Algorithms) | ||
| - MATH 141 (Calculus I) | ||
| - Winter 2021 | ||
| - MATH 142 (Calculus II) | ||
| - MATH 221 (Calculus for Business and Economics) | ||
| - Fall 2020 | ||
| - MATH 141 (Calculus I) | ||
| - Spring 2020 | ||
| - CSC 349 (Design and Analysis of Algorithms) | ||
| - Spring 2017 | ||
| - CSC 202 (Data Structures) | ||
| - CSC 348 (Discrete Structures) | ||
| - Winter 2017 | ||
| - CSC 101 (Fundamentals of Computer Science) | ||
| - Fall 2016 | ||
| - CSC 103 (Fundamentals of Computer Science III) | ||
| - Spring 2016 | ||
| - CSC 101 (Fundamentals of Computer Science) | ||
| - MATH 221 (Calculus for Business and Economics) | ||
| - Winter 2016 | ||
| - CSC 101 (Fundamentals of Computer Science) | ||
| - MATH 221 (Calculus for Business and Economics) | ||
| - ISA, CSC 357 (Systems Programming) | ||
| - Fall 2015 | ||
| - CSC 101 (Fundamentals of Computer Science) | ||
| - MATH 118 (Precalculus Algebra) | ||
| - ISA, CSC 257 (Systems Programming) | ||
| - Spring 2015 | ||
| - MATH 118 (Precalculus Trigonometry) | ||
| - ISA, CSC 101 (Fundamentals of Computer Science) | ||
| - ISA, CSC 357 (Systems Programming) | ||
| - Winter 2015 | ||
| - MATH 221 (Calculus for Business and Economics) | ||
| - Fall 2014 | ||
| - MATH 118 (Precalculus Algebra) | ||
| - Spring 2014 | ||
| - ISA, MATH 161 (Calculus for the Life Sciences I) | ||
| - ISA, MATH 306 (Linear Algebra II) | ||
| - Winter 2014 | ||
| - MATH 118 (Precalculus Algebra) | ||
| - ISA, MATH 182 (Calculus for Architecture and Construction Management) | ||
| - ISA, MATH 451 (Numerical Analysis I) | ||
| - ISA, MATH 482 (Abstract Algebra II) | ||
| - Fall 2013 | ||
| - MATH 117 (Precalculus Algebra II) | ||
| - ISA, MATH 248 (Methods of Proof) | ||
| - ISA, MATH 481 (Abstract Algebra I) | ||
| - Spring 2013 | ||
| - ISA, CSC 141 (Discrete Structures) | ||
| - ISA, MATH 241 (Calculus IV) | ||
| - Winter 2013 | ||
| - ISA, MATH 142 (Calculus III) | ||
| - ISA, MATH 182 (Calculus for Architecture and Construction Management) | ||
| - Fall 2012 | ||
| - ISA, MATH 142 (Calculus II) |
Loading
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,7 @@ | ||
| # Brian Jones | ||
|
|
||
| <!-- [<btjones@calpoly.edu>](mailto:btjones@calpoly.edu) --> | ||
|
|
||
| Office: [14-236](documents/office.png) | ||
|
|
||
| <iframe src="https://calendar.google.com/calendar/b/1/embed?height=400&wkst=1&bgcolor=%23ffffff&ctz=America%2FLos_Angeles&src=ZDM2OXVnMjlqbHBtaHV2YXR2N3QxdTE0bDRAZ3JvdXAuY2FsZW5kYXIuZ29vZ2xlLmNvbQ&src=NzZydXBnYm5qYWxxajY1cHBlbTJmc2ZwODhAZ3JvdXAuY2FsZW5kYXIuZ29vZ2xlLmNvbQ&color=%233F51B5&color=%237CB342&title=btjones%20schedule&showTitle=0&showNav=1&showCalendars=0&showTabs=0&showPrint=0&showDate=1&mode=WEEK" frameborder="0" scrolling="no" width="600" height="400"></iframe> |