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
\input logicdocument | |
\heading | |
Week 1 Problem Set | |
Your Name | |
Introduction to Formal Logic | |
\endheading | |
Translate the following English sentences into the language of first-order logic. |
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
# be nice with this simple example: | |
# only positive integers pls. | |
def fact(x): | |
if x == 1: | |
return x | |
else: | |
return x*fact(x-1) | |
a = 4 |
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
install.packages("libcurl") | |
install.packages("curl") | |
install.packages("httr") | |
install.packages("rtweet") | |
install.packages("ggplot2") | |
install.packages("maps") | |
install.packages("dyplr") | |
install.packages("igraph") | |
install.packages("network") | |
install.packages("sna") |
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
# A sample python file, kept for reference. | |
# ----------------------------------------- | |
# reads a set of values from a csv, | |
# uses these in url construction, performs a get, | |
# extracts from json, writes to a new file. | |
import urllib.request | |
import json | |
import csv | |
csvfile = open('entitlements.csv', newline='') | |
targetfile = open('target.csv', 'wb'); |
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
--- | |
title: "Binomial and Negative Binomial Simulation" | |
author: "Dan MacKinnon" | |
output: html_document | |
--- | |
```{r setup, include=FALSE} | |
knitr::opts_chunk$set(echo = TRUE) | |
``` | |
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
--- | |
title: "Playlist" | |
author: "Dan MacKinnon" | |
output: html_document | |
--- | |
```{r setup, include=FALSE} | |
knitr::opts_chunk$set(echo = TRUE) | |
``` | |
##Introduction |
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
--- | |
title: "Twin Lab Partners" | |
author: "Dan MacKinnon" | |
date: "March 21, 2017" | |
output: html_document | |
--- | |
```{r setup, include=FALSE} | |
knitr::opts_chunk$set(echo = TRUE) | |
``` |
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
--- | |
title: "Pancake Problem" | |
author: "Dan MacKinnon" | |
output: html_document | |
--- | |
```{r setup, include=FALSE} | |
knitr::opts_chunk$set(echo = TRUE) | |
``` |
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
--- | |
title: "False Positives" | |
author: "Dan MacKinnon" | |
output: html_document | |
--- | |
```{r setup, include=FALSE} | |
knitr::opts_chunk$set(echo = TRUE) | |
``` |
NewerOlder