spamegg spamegg1

People

MTH 325 Learning Targets

P.1: I can set up a framework of assumptions and conclusions for proofs using direct proof, proof by contraposition, and proof by contradiction.
P.2: I can identify the predicate being used in a proof by mathematical induction and use it to set up a framework of assumptions and conclusions for an induction proof.
P.3: I can identify the parts of a proof, including the technique used and the assumptions being made.
P.4: I can perform a critical analysis of a written proof and provide a detailed explanation of the steps used in the proof.

This is a summary of the guidelines presented by Martin Odersky during his talk Scala with Style.

Instructions for installing zsh plugins, for a variety of plugin managers

Antibody:

⚠️ Deprecated. Official recommendation is to use Antidote instead

Add <owner>/<repo> to your plugins file. If you use static loading, run the update command.
Antidote: Add <owner>/<repo> to your plugins file. If you generate your static plugins file manually, run the bundle command.

	package fpmax

	import scala.util.Try
	import scala.io.StdIn.readLine

	object App0 {
	def main: Unit = {
	println("What is your name?")

	val name = readLine()

	#![allow(unused_imports)]
	extern crate regex;
	#[macro_use]
	extern crate lazy_static;
	extern crate itertools;
	extern crate pbr;
	extern crate colored;
	use std::collections::VecDeque;
	use itertools::Itertools;
	use pbr::ProgressBar;

	/*
	* Solution of Josephus Problem using Bitwise Operation
	* Shifting the most-significant set bit of n to the
	* least significant bit will return the safe position.
	*
	* ====================== EXPLANATION ======================
	*
	* n (41) the number of people standing in the circle
	* n = 101001
	*